Q.Write the truth value of the following: Milk is white if and only if sky is blue.

A conditional (implication), written p → q or p ⇒ q and read 'if p then q' or 'p implies q', joins two statements with 'if ... then'. Here p is called the hypothesis (or antecedent) and q is called the conclusion (or consequence). The conditional p → q is false in exactly one situation — when p is true and q is false — and true in every other combination; phrases like 'p is sufficient for q', 'q is necessary for p', and 'p only if q' all mean the same conditional. A biconditional (double implication), written p ↔ q or p ⇔ q and read 'p if and only if q' (often abbreviated 'iff'), joins two statements with 'if and only i …