Report - 1 Resolução. 2 5.1 O Princípio da Resolução (Lógica Proposicional) Para quaisquer duas cláusulas C1 e C2, se existe um literal L1 em C1 que seja complementar.

Please pass captcha verification before submit form