Re: [obm-l] CONTRAPOSITIVA

[Daniel Silva Braz <dsbraz@xxxxxxxxxxxx>]

 --- tyum@zipmail.com.br escreveu: 
> Todo matematico sabe que a contrapositiva de p=>q
> Aprendi por tabelas de verdade a demonstracao da
> contrapositiva..
> 
> Poderia usar regras de inferencia na demontracao???

Sim, aliás fica até mais "elegante".

> Por exemplo p=>q e equivalente a ~(p^~q) por
> definicao???

Sim, isto está certo..


Daniel S. Braz


______________________________________________________________________

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