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

Questão de Raciocínio Lógico da banca ESAF aplicada no concurso SEF MG (2005). Confira a resolução completa abaixo:

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