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