딜레마(dilemma 양도논법(兩刀論法))

논리학에서, 두 개의 가언명제(假言命題)를 대전제로 하고 선언명제(選言命題)를 소전제로 하는 일종의 삼단논법을 가리킨다. 소전제에서 전건(前件)을 긍정하는 것을「구성적」(構成的), 후건(後件)을 부정하는 것을「파괴적」破壞的)이라 하며, 이끌어내진 결론이 정언 명제적인 것을「단순하다」하고 선언명제인 것을「복잡하다」고 한다. 이들을 짝지어 네 개의 형식으로 구분한다. 이를 기호로 표시하면, ① 단순구성적 : (p⊃r)․(q⊃r), p∨q ∴r ② 단순파괴적 :(p⊃q)․(p⊃r),～q∨～r ∴～p ③ 복잡구성적 : (p⊃q)․(r⊃s), p∨r ∴q∨s ④ 복잡파괴적 : (p⊃q)․(r⊃s), ～q∨～s ∴～p∨～r. 이 중에서도 복잡구성적 딜레마가 가장 기본적인 형식이다.