Which is used to compute the truth of any sentence?
(a) Semantics of propositional logic
(b) Alpha-beta pruning
(c) First-order logic
(d) Both Semantics of propositional logic & Alpha-beta pruning
This question was addressed to me in homework.
My query is from Propositional Logic in division Logical Agents of Artificial Intelligence