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) se verifica;

2. Q(x) se verifica;

3. Se P(x), Q(x) e R(x) se verificam então S(x) se verifica.

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