Love is like a sweet, sweet proof

This is a poem I wrote in 2007, while in a logic lecture. My apologies to the professor.

My trust is modus ponens to your lies –
provide a counter-example to this hate.
Tears, like disjuncts in your eyes,
a contradiction to eliminate.

Were our love biconditional –
if, and only if this carried –
my heart’s connectives truth-functional
always would be valid