Assignment N

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.

Leave a Reply

Your email address will not be published. Required fields are marked *