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".