Correct choice is (a) True
Best explanation: Yes, The approach we take is based on testing the satisfiability of a logical sentence rather than on proving a theorem. We will be finding models of propositional sentences that look like this:
Initial state /\ all possible action descriptions /\ goal.