Report copyright - Lógica de Predicados Resolução. Cláusulas e literais complementares Cláusula em lógica de predicados é uma disjunção de literais Usando a notação de conjuntos:
Please pass captcha verification before submit form
Please pass captcha verification before submit form