Uma proposição equivalente de “Se está quente, então é verão...
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
Uma proposição equivalente de “Se está quente, então é verão” é: