trilemma (original) (raw)

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→s, og med samme 1. præmis og 2. præmis (¬q∧¬r∧¬s), altså ¬p.