What can be viewed as a single lateral of disjunction?
a) Multiple clause
b) Combine clause
c) Unit clause
d) None of these
Explanation: A single literal can be viewed as a disjunction or one literal also, called a unit clause.
Resolution:
Which is a refutation complete inference procedure for propositional logic?
a) Clauses
b) Variables
c) Propositional resolution
d) Proposition
Explanation: Propositional resolution is a refutation complete inference procedure for propositional logic.
What kind of clauses are available in Conjunctive Normal Form?
a) Disjunction of literals
b) Disjunction of variables
c) Conjunction of literals
d) Conjunction of variables
Explanation: First-order resolution requires the clause to be in disjunction of literals in Conjunctive Normal Form.
What is the condition of literals in variables?
a) Existentially quantified
b) Universally quantified
c) Quantified
d) None of these
Explanation: Literals that contain variables are assumed to be universally quantified.
Which can be converted to inferred equivalent CNF sentence?
a) Every sentence of propositional logic
b) Every sentence of inference
c) Every sentence of first-order logic
d) All of the mentioned
Explanation: Every sentence of first-order logic can be converted to inferred equivalent CNF sentence.
