Re: [obm-l] CONTRAPOSITIVA

[Artur Costa Steiner <artur_steiner@xxxxxxxxx>]

> Por exemplo p=>q e equivalente a ~(p^~q) por
> definicao???
> 
> Grato.
> 
> Douglas A. Rodrigues

Nao, nao eh por definicao nao. Se vc supuser que  p =>
q nao seja equivalente a ~q => ~p, voce chega a uma
contradicao.  Porque, neste caso, eh possivel que ~q
se verifique sem que ~p se verifique. Isto eh
exatamente a mesma coisa que dizer que ~q se verifica
e que p se verifica, o que, por sua vez, eh o mesmo
que dizer que p se verifica e que q nao se verifica.
Mas isto contraria a hipotese de que p => q.
Hah pessoas que julgam que provas por contraposicao e
por contradicao sao em essencia a mesma coisa, e que a
unica diferenca eh estilo.
Artur  


	
		
__________________________________
Do you Yahoo!?
Yahoo! Movies - Buy advance tickets for 'Shrek 2'
http://movies.yahoo.com/showtimes/movie?mid=1808405861 
=========================================================================
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
=========================================================================