Lista de Símbolos:
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
⇒ Conector “Se...então...”
⇔ Conector “Se e somente se”
¬ Negação de uma proposição
Considere as seguintes proposições verdadeiras:
- Todos os moradores de Santo Augusto gostam de estudar matemática.
- Todos os cozinheiros escolares são moradores de Santo Augusto.
- Pedro é um morador de Santo Augusto.
Disso, pode-se concluir que: