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” é: