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

Seja O um conjunto de objetos e P, Q, R, S propriedades...

Q119378

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

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

se R(x) se verifica então S(x) se verifica;

S(x) e R(x) se verificam;

se S(x) se verifica então R(x) se verifica;

se P(x) e Q(x) se verificam então R(x) se verifica;

se S(x) e Q(x) se verificam então P(x) e R(x) se verificam.