Seja O um conjunto de objetos e P, Q, R, S propriedades sobre esses objetos. Sabendo-se que para todo objeto x em O:

1. P(x) é verdadeiro.

2. Q(x) é verdadeiro.

3. Se P(x), Q(x) e R(x) são verdadeiros então S(x) é verdadeiro.

Pode-se concluir, para todo x em O, que: