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