Education and Worksheets

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

If proof is lengthy then it is interesting.

p → q