Loogija ja juriidiline argumentatsioon
(A→C) (B→C)
A või B. A˅B
C
Kui vihma sajab, siis õues on märg.
Kui lund sajab, siis õues on märg
Kui sajab kas vihma või lund
Siis õues on märg
Liitkonstruktiivne dilemma
Kui A, siis B, kui C, siis D. (A→B) (C→D)
A või C. A˅C
A või D
Kui vihma sajab, siis väljas on märg.
Kui päike paistab on õues kuiv.
Kui vihma sajab või päike paistab
Väljas on kas märg või kuiv
Lihtdestruktiivne dilemma
Kui A, siis kas B või C. →A→(B˅C)
Kui mitte B ega ka C. ˥B ˥C
Mitte A ˥A
Kui kukun, siis saan sinika või jalaluumurru.
Mul pole sinikat ega jalaluumurdu
Ma pole kukkunud
Liitkonstruktiivne dilemma
Kui A, siis B, kui C, siis D. (→A→B) (→B→C)
Mitte B ega D. ˥B ^ ˥D
Mitte A ja mitte C ˥A^˥C