Correct Answer : Option (A) : Atomic sentences
Correct Answer : Option (B) : Logical connectives
Correct Answer : Option (C) : 5
Explanation : The five logical symbols are negation, conjunction, disjunction, implication and biconditional.
Correct Answer : Option (C) : Semantics of propositional logic
Explanation : Because the meaning of the sentences is really needed to compute the truth.
Correct Answer : Option (D) : All of the above
Explanation : Logical inference algorithm can be solved be using logical equivalence, Validity and satisfiability.
Correct Answer : Option (A) : Resolution
Explanation : Because resolution yields a complete inference rule when coupled with any search algorithm.
Correct Answer : Option (B) : Unit clause
Correct Answer : Option (C) : Inference rule
Correct Answer : Option (D) : Propositional resolution
Correct Answer : Option (B) : Every sentence of first-order logic