Texto da Questão:
+
Lista de símbolos:
⟹ Condicional
⬄ Bicondicional
˄ Conector “e”
⌄ Conector “ou”
⊻ Conector “ou” exclusivo
﹁ Negação da proposição
A negação da proposição “Se João é pai de Pedro, então Maria é mãe de Joana” é:
