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 o queijo é amargo, então o vinho é doce” é: