Logic in limericks

In these lines, Sandra DeLozier Coleman (who participated in the math-poetry reading at the Joint Mathematics Meetings in Baltimore in January) speaks as a professor reasoning in rhyme, explaining truth-value technicalities of the logical implication, "If p then q" (or, in notation, p -- > q ).

     The Implications of Logic     by Sandra DeLozier Coleman

     That p --> q is true,
     Doesn’t say very much about q.
     For if p should be false,
     Then there’s really no loss
     In assuming that q could be, too.  

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." 

Conditional statements

The "If ... , then ... ." statements of mathematical theorems are often termed "conditionals." We have, for example, the conditional, "If x < 3, then x² < 9."  And so on.  Formal conditional statements in a poem can give it the feel of mathematics, even if no mathematical terminology is used.  This is  illustrated in "Omens" by the Romanian poet Marin Sorescu (1936-1996); Sorescu's poem also treats us to word-play  -- with allusions that range from nursery rhymes to religious narratives.