Considere as seguintes proposições:
p: Todo X é Y.
q: Nada que é Y é Z.
Se p e p são verdadeiras, é verdadeira também a proposição:
Considere as seguintes proposições:
p: Todo X é Y.
q: Nada que é Y é Z.
Se p e p são verdadeiras, é verdadeira também a proposição: