In this exercise, we are going to verify whether it is legitimate to use the inference rule, Rule P. The key step is to verify ‘the conjunction of our premises implies our result’ is a tautology. Falsification technique allows us to easily decide which are tautologies.
Common Mistakes:
- Many students were careless in doing falsification. Maybe you need to double check the details while falsifying the formula.