Uma proposição equivalente de “Se João estuda, então Maria f...
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Uma proposição equivalente de “Se João estuda, então Maria fica feliz” é: