Which are needed to compute the logical inference algorithm?
(a) Logical equivalence
(b) Validity
(c) Satisfiability
(d) All of the mentioned
The question was posed to me in a national level competition.
My question is from Propositional Logic in section Logical Agents of Artificial Intelligence