--- [EMAIL PROTECTED] 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 =========================================================================
