[obm-l] Re: [obm-l] demostra��o por absurdo

["Bruno Bonagura" <bbonagura@xxxxxxxxxx>]

Ol�,
Demonstar uma proposi��o p=>q � provar que seu valor l�gico � verdadeiro.
Como a proposi��o �q=>�p � equivalente � primeira, ent�o provando esta, a
outra tamb�m est� provada. A hip�tese "p" n�o s� cont�m a condi��o
explicitada, mas tamb�m toda a teoria anterior � tese. Por isso, quando
chegamos a um "absurdo", estamos chegando � nega��o da tese. Eu,
pessoalmente, sou contra esse termo "demonstra��o por absurdo", ou o pior
"redu��o ao absurdo", pois estes geram esse tipo de confus�o. Tenho
prefer�ncia por: demonstra��o pelo m�todo indireto.

Bruno Bonagura

----- Original Message -----
From: <g190438@polvo.ufscar.br>
To: <obm-l@mat.puc-rio.br>
Sent: Thursday, March 23, 2006 10:52 AM
Subject: [obm-l] demostra��o por absurdo


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


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