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