Lista de símbolos:
→ Condicional
↔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
• Todo paranaense gosta de estudar raciocínio lógico. • Todos os que gostam de estudar filosofia também gostam de estudar raciocínio lógico. • Nenhuma pessoa que gosta de estudar filosofia é paranaense. • Antônio gosta de estudar raciocínio lógico.
Pode-se concluir, a partir dessas proposições, que:
