道義邏輯是一種非標準的模態邏輯。它研究「應當」、「可以」或 「許可」、「禁止」 這樣一些道義概念的邏輯。
符號化
應該（obligate）p：Op
允許（permit）p：Pp
禁止（forbid）p：Fp
應該...不...（obligate...not...）非p：O¬p
允許...不...（permit...not...）非p：P¬p
禁止...不...（forbid...not...）非p：F¬p
基本公式
「不應當不A」等值於「許可A」； ¬O¬A↔PA
「不許可不A」等值於「應當A」； ¬P¬A↔OA
「應當A」等值於「禁止不A」；OA↔F¬A
「禁止A」等值於「應當不A」。 FA↔O¬A
資料參考
《邏輯學》（第二版）人民大學出版社