Question 14 Marks
If p : Proof is lengthy.
q : It is interesting.
Express the following statements in symbolic form:
(i) Proof is lengthy and it is not interesting.
(ii) If the proof is lengthy, then it is interesting.
(iii) It is not true that the proof is lengthy but it is interesting.
(iv) It is interesting iff the proof is lengthy.
q : It is interesting.
Express the following statements in symbolic form:
(i) Proof is lengthy and it is not interesting.
(ii) If the proof is lengthy, then it is interesting.
(iii) It is not true that the proof is lengthy but it is interesting.
(iv) It is interesting iff the proof is lengthy.
Answer
View full question & answer→The symbolic form of the given statements are:
(i) p ∧ ~q
(ii) p → q
(iii) ~(p ∧ q)
(iv) q ↔ p
(i) p ∧ ~q
(ii) p → q
(iii) ~(p ∧ q)
(iv) q ↔ p

























