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
=========================================================================