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
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...