Caros colegas,

Consideremos as proposições p e q abaixo.
p:   2  é ímpar.
q:   2 + 2 é ímpar.

Então a condicional p -->q é verdadeira, pois p é falsa.
Minha dúvida:
Seria correto afirmar que p => q ?   Ou seja, é correto afirmar que p implica 
logicamente q?
(Parece-me que não, pois se admitirmos a veracidade de p, concluiremos a 
falsidade de q.)
Desde já, muito obrigado a todos.
Pedro Chaves                                      
-- 
Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.


=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================

Responder a