Exercises are designed to test the understanding of different inference rules, such as Existential Generalization, Universal Instantiation, Rule P, Generalization, Existential Generalization, Rule C and Deduction Theorem.
Common Mistakes:
- Only few students found all the six wrong lines in the proof of X2143. Many students missed the incorrect line 4 or gave wrong reasons for line 8 to be incorrect. It is also a little bit tricky to discover that line 2 and line 10 are incorrect.