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