Considere as seguintes proposições: • Todo morador de Chuí ...
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Considere as seguintes proposições:
• Todo morador de Chuí tem algum animal de estimação.
• Nenhum morador de Chuí tem uma tartaruga como animal de estimação.
• Pedro tem um animal de estimação e este não é uma tartaruga.
Pode-se concluir que: