Explanation: The five logical symbols are negation, conjunction, disjunction, implication and biconditional. 5. 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
Explanation: The five logical symbols are negation, conjunction, disjunction, implication and biconditional. 5. 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
Explanation: Because the meaning of the sentences is really needed to compute the truth. 6. Which are needed to compute the logical inference algorithm?