Question:

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 a & b

Answer» a. semantics of propositional logic