Lista de símbolos:
⇒ Condicional
⇔Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Analise as seguintes proposições:
• Todo A é B.
• Algum C é B.
• João é A.
A partir disso, pode-se concluir que:
Lista de símbolos:
⇒ Condicional
⇔Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Analise as seguintes proposições:
• Todo A é B.
• Algum C é B.
• João é A.
A partir disso, pode-se concluir que:
