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.