LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Kui üks
neist on väär, peab teine olema tõene. Eelnevas eeldatakse, et kõik valemid väljendavad nii-
öelda loogilisi tõdesid.)
Deontilist loogikat on arendatud väga keerukates variantides ning need ei ole alati
omavahel kooskõlas. Nt mitteiteratiivses (noniterative) deontilises loogikas ei saa tegu ümber
teha ehk korrata, küll aga saab uuesti teha samalaadset tegu. Selle loogika põhihulgas
(teoindiviidide hulgas) pole toiminguid, mille sooritamata jätmine või sooritamine on lihtsalt
lubatud, üks kahest on kohustuslik. Mitteiteratiivse deontilise loogika põhiaksioomid:
Op ¬O(¬p) Kui toiming on kohustuslik, siis on mittekohustuslik selle
tegemata jätmine.
Op & Oq O(p & q) Toimingu p sooritamine on kohustuslik ja toimingu q
sooritamine on kohustuslik parajasti siis, kui kohustuslik
annaabi.ee 
