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

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

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 interesting iff the proof is lengthy.

SOLUTION

q ↔ p