Considere as seguintes proposições: I. Todo X é Y. II. Tod...
Lista de símbolos:
→ Condicional
↔ Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
I. Todo X é Y. II. Todo Z é Y. III. Algum W é X.
A partir disso pode-se concluir que: