Artificial Intelligence MCQ
Which is used to compute the truth of any sentence?
A)
First-order logic
B)
Alpha-beta pruning
C)
Semantics of propositional logic
D)
Both Semantics of propositional logic & Alpha-beta pruning

Correct Answer : Option (C) :   Semantics of propositional logic

Explanation : Because the meaning of the sentences is really needed to compute the truth.