道義邏輯

道義邏輯(英文：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

資料參考

《邏輯學》（第二版）人民大學出版社