Raciocínio lógico - Implicação: Se p então q (representação p--->q) - Núcleo de Computação Eletrônica UFRJ (NCE) - 2003
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:
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...