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

If p : Proof is lengthy. q : It is interesting. Express the following statement in symbolic form. Proof is lengthy and it is not 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.

Proof is lengthy and it is not interesting.

SOLUTION

p ∧ ∼ q