A negação da proposição “Se João é pai de Pedro, então Maria é mãe de Joana” é:
João é pai de Pedro e Maria não é mãe de Joana.
Se João não é pai de Pedro, então Maria não é mãe de Joana.
Se Maria é mãe de Joana, então João é pai de Pedro.
João é pai de Pedro ou Maria não é mãe de Joana.
João não é pai de Pedro ou Maria não é mãe de Joana.