OMTEX CLASSES: If p : Proof is lengthy. q : It is interesting. Express the following statement in symbolic form. It is not true that the proof is lengthy but it is interesting.

If p : Proof is lengthy. q : It is interesting. Express the following statement in symbolic form. It is not true that the proof is lengthy but it is interesting.

QUESTION

Miscellaneous Exercise 1 | Q 4.04 | Page 32

If p : Proof is lengthy.
q : It is interesting.
Express the following statement in symbolic form.

It is not true that the proof is lengthy but it is interesting.

SOLUTION

∼(p ∧ q)