[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] CONTRAPOSITIVA



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