No universo U, sejam P, Q, R, S e T propriedades sobre os elementos de U. (K(x) quer dizer que o elemento x de U satisfaz a propriedade K e isso pode ser válido ou não).

Para todo x de U considere válidas as premissas seguintes:

• P(x)
• Q(x)
• [ R(x) → S(x)] → T(x)
• [ P(x) ∧ Q(x) ∧ R(x)] → S(x)

É verdade que