trilemma
Trilemma, (af tri- og gr. lemma 'antagelse, indhold'), i den traditionelle logik den slutningsform, hvori der i den ene præmis indgår en treleddet disjunktion. Inden for udsagnslogikken formuleres følgende to trilemmaer: p→(q∨r∨s) og (¬q∧¬r), altså p