道義邏輯
道義邏輯(英文：Deontic logic)是一種非標準的模態邏輯， 屬於哲學邏輯的領域, 涉及「應該」、「可以」或 「許可」、「禁止」 這樣一些道義概念。
符號化
編輯應該（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
資料參考
編輯《邏輯學》（第二版）人民大學出版社