If p, then q.

     Today's posting (as also on April 13)  presents variations of the conditional statment -- a sentence of the form "If ___, then ___" in which mathematical theorems often are expressed. (For example, "If m is an odd integer, then m² is an odd integer.")   More generally, a conditional is a statement of the form "If p, then q" -- where p and q denote statements. Poet E. C. Jarvis plays with the language of logical statements and with the idiomatic phrase "Mind your p's and q's" in his poem, "A Simple Proposition."