O'Reilly logo
  • KT Tann thinks this is interesting:

EXAMPLE 1.2.16

Prove: ¬(QP), ¬P images ¬Q

From

Cover of A First Course in Mathematical Logic and Set Theory

Note

Is this incorrect?