Questão de Raciocínio Lógico

Enunciado

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.

Relatar um erro nesta questão

Mais questões da mesma disciplina para manter o ritmo.