Question

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

A. Unsatisfiable

B. Conjunction of literals

C. Disjunction of literals

D. Satisfiable

​

Answer 1

B. Conjunction of litetals

Hope this answer u

Answer 2

Answer:

From the above given options in the question, In First order logic, if a set of sentence is b)__ Conjunction of literature__ then resolution will always be able to derive a contradiction.

When there is a conjunction of one or more clauses in Boolean logic, that formula is said to be in Conjunctive Normal Form.

Conjunctive Normal Form is usually represented as AND or OR.

Used in circuit theory and proving theorems which are automated.