Math with Bad DrawingsCartoon Archive

Conditional, Unconditional, Biconditional Love

2024

Four kinds of love expressed in logic: conditional (a theorem with assumptions), unconditional (a tautology), biconditional (iff), and by contradiction.

Use this cartoon

Free for classrooms, worksheets, slides and other non-commercial use under CC BY-NC 4.0, with credit to Ben Orlin.

Cartoon by Ben Orlin, Math with Bad Drawings. https://cartoons.mathwithbaddrawings.com/2024-01-01-conditional-unconditional-biconditional-love/ (CC BY-NC 4.0)
Transcript

Conditional Love: "'I love you' is a theorem requiring certain assumptions…" · Unconditional Love: "'I love you' is a tautology." · Biconditional Love: "I love you iff you love me." · Love by Contradiction: "Suppose I didn't love you… well, that's a blatant contradiction, because…"

Topics
Logic & Proof › Conditional StatementsLogic & Proof › BiconditionalsLogic & Proof › TautologiesLogic & Proof › Proof by ContradictionLogic & Proof › Proofs & Theorems
Level
High SchoolCollege
Themes
Family & RelationshipsHistory & HolidaysLanguage & Wordplay