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