Computer Science, asked by abhishekragit7, 11 months ago

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

Answers

Answered by kaynatayubraza
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