[obm-l] demostração por absurdo

[<g190438@xxxxxxxxxxxxxxx>]

Caros matemáticos


Qual a justificativa lógica para a demonstração por absurdo, sabendo que 
muitos confundem com a contrapositiva: p=>q = ~q=>~p
=========================================================================
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
=========================================================================