Re: [obm-l] CONTRAPOSITIVA

[Daniel Silva Braz <dsbraz@xxxxxxxxxxxx>]

concordo..
mas acho q qdo ele disse inferencia queria dizer
equivalencia..

Daniel S. Braz

==========================

 --- Boromir <boromir@ajato.com.br> escreveu: > Que
regra de inferencia é essa? as que eu conheço
> são modus ponens,
> modus tollens, conjunção, simplificação e adição e
> nenhuma delas diz que
> p ->q <=> ~(p ^~q) é uma definição.
> Gostaria ainda de expressar minha opinião a respeito
> do ensino de lógica
> proposicional. É realmente estranho que se ensine
> lógica de proposições
> com a "desculpa" de demonstrar os teoremas da teoria
> de conjuntos (isso
> é feito no ensino médio). Em geral o que se faz é
> citar que os teoremas
> da teoria de conjuntos poderiam (demonstrações estão
> em falta mesmo...)
> ser demonstrados usando a lógica de proposições,
> entretanto a ligação
> entre esses assuntos não é feita (conforme consta no
> livro Exame de
> Textos já citado nessa lista algumas vezes).
> No caso da contrapositiva eu acho bastante razoavel
> dizer que A é um
> subconjunto de B somente se B' é um subconjunto de
> A' (onde X' é o
> complementar de X em relação ao universo) isso pode
> ser visualizado com
> os diagramas de Venn-Euler. A proposição p->q é
> equivalente a dizer que
> o conjunto dos elementos que têm a propriedade p é
> um subconjunto do
> conjunto dos elementos que têm a propriedade q e
> isso é o mesmo que
> dizer que o conjunto dos elementos que não têm a
> propriedade q está
> contido no conjunto dos elementos que não têm a
> propriedade p, isto é ~q
> ->~p
> []'s MP
> 
> P.S. Fiquem a vontade para discordar e/ou corrigir
> minhas besteiras.
> Em Seg, 2004-05-10 às 21:01, tyum@zipmail.com.br
> escreveu:
> 
> > Todo matematico sabe que a contrapositiva de p=>q
> <=> ~q=>~p, porem tenho
> > algumas perguntas sobre conceitos logicos!!!
> > 
> > Aprendi por tabelas de verdade a demonstracao da
> contrapositiva..
> > 
> > Poderia usar regras de inferencia na
> demontracao???
> > 
> > Por exemplo p=>q e equivalente a ~(p^~q) por
> definicao???
> > 
> > Grato.
> > 
> > Douglas A. Rodrigues
> > 
> > 
> > 
> > 
> > 
> > ------------------------------------------
> > Use o melhor sistema de busca da Internet
> > Radar UOL - http://www.radaruol.com.br
> > 
> > 
> > 
> > 
> >
>
=========================================================================
> > Instruções para entrar na lista, sair da lista e
> usar a lista em
> >
> http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
> >
>
=========================================================================
> > 
>  

______________________________________________________________________

Yahoo! Messenger - Fale com seus amigos online. Instale agora! 
http://br.download.yahoo.com/messenger/
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================