Texto da Questão:
+
Lista de símbolos:
→ Condicional
↔️ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Considere que as seguintes proposições a seguir sejam verdadeiras:
• 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:
• 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:
