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