Explanation: Definition of term in FOL. 2. Which are needed to compute the logical inference algorithm?
A. Logical equivalence
B. Validity
C. Satisfiability
D. All of the mentioned
Answer:A
Explanation: Definition of term in FOL. 2. Which are needed to compute the logical inference algorithm?
A. Logical equivalence B. Validity C. Satisfiability D. All of the mentioned