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
Computer Science,
6 months ago
English,
6 months ago
India Languages,
6 months ago
Math,
11 months ago
English,
11 months ago
Biology,
1 year ago
Biology,
1 year ago