Lógica

A afirmação “Não é verdade que,se Pedro está em Roma, então Paulo está em Paris” é logicamente equivalente à afirmação:

a- É verdade que Pedro está em Roma e Paulo está em Paris.
b- Não é verdade que Pedro está em Roma ou Paulo não está em Paris”.
c- Não é verdade que Pedro não está em Roma ou Paulo não está em Paris”.
d- Não é verdade que Pedro não está em Roma ou Paulo está em Paris”.
e- É verdade que Pedro está em Roma ou Paulo está em Paris

P=Pedro está em Roma , Q=Paulo está em Paris
A afirmação em símbolos é:~(P->Q)<=>~(~PUQ)<=>P^~Q,(é omportante conhecer essas propriedades) sua tabela-verdade é:
P Q (P->Q) [~(P->Q)]
V V V F
V F F V
F V V F
F F V F ,Logo qualquer alternativa que se compare com ~(P->Q)<=>~(~PUQ)<=>(P^~Q) é sua equivância.

a)É verdade que Pedro está em Roma e Paulo está em Paris.(P^Q) (falso, compare)
b)Não é verdade que Pedro está em Roma ou Paulo não está em Paris.[~(PU~Q)]<=>~P^Q (falso, compare)
C)Não é verdade que Pedro não está em Roma ou Paulo não está em Paris.~(~PU~Q)<=>P^Q ( falso, compare)
d)Não é verdade que Pedro não está em Roma ou Paulo está em Paris.~(~PUQ)<=>(P^~Q) ( Verdadeiro!)
e)É verdade que Pedro está em Roma ou Paulo está em Paris.(PUQ) (falso, compare)