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

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

If proof is lengthy then it is interesting.

SOLUTION

p → q