Lista de símbolos:
→ Condicional
↔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
• Se Antônio estudou, então Maria está feliz. • Se Maria está feliz, então Márcio fica contente. • Márcio não está contente.
Disso pode-se concluir que também seja verdadeiro:
