[obm-l] RES: [obm-l] Re:[obm-l] Implicação

[Artur Costa Steiner <artur.steiner@xxxxxxxxxx>]

Eh que o texto original dizia que, se x eh um natural e x^2 + 1 = 0 , entao x E {-1,1}. Por vacuidade, a firmação estah entao certa. Em vez de {-1,1} poderia ser qualquer conjunto, 

 

Artur  

-----Mensagem original-----
De: owner-obm-l@mat.puc-rio.br [mailto:owner-obm-l@mat.puc-rio.br]Em nome de Osvaldo Mello Sponquiado
Enviada em: quarta-feira, 27 de julho de 2005 15:28
Para: obm-l
Assunto: [obm-l] Re:[obm-l] Implicação

Nem eu.

(-1)^2+1=2=!0

e 1^2+1=!0 tambem

 

 

> x^2 + 1 = 0 => x E {-1,1}

>

> Não entendi porque a implicação é verdadeira.