Question

In First order logic, if a set of sentence is __________ then resolution will always be able to derive a contradiction.

Answer 1

Answer:

Set of sentence is Conjunction of literals.

Explanation:

• For the conversion of First order Logic from Negation normal form to Conjunction Normal Form conjunction literals are used,    
• When there is a conjunction of one or more clauses in the boolean Logic, that formula is said to be in Conjunctive Normal Form, usually represented as AND's or Or.
• Used in automated proving theorems and circuit theory.