In First order logic, if a set of sentence is __________ then resolution will always be able to derive a contradiction.
Answers
Answered by
0
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.
Similar questions