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:
É verdade que
a) R(x) é válida.
b) S(x) é válida.
c) T(x) é válida.
d) nada se pode concluir sem saber se R(x) é ou não válida.
e) não há conclusão possível sobre R(x), S(x) e T(x).