道义逻辑(英文：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
资料参考 编辑
道义逻辑, 英文, deontic, logic, 是一种非标准的模态逻辑, 属于哲学逻辑的领域, 涉及, 应该, 可以, 许可, 禁止, 这样一些道义概念, 符号化, 编辑应该, obligate, op允许, permit, pp禁止, forbid, fp应该, obligate, 非p, p允许, permit, 非p, p禁止, forbid, 非p, p基本公式, 编辑, 不应当不a, 等值于, 许可a, 不许可不a, 等值于, 应当a, 应当a, 等值于, 禁止不a, 禁止a, 等值于, 应当不a, . 道义逻辑 英文 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资料参考 编辑 逻辑学 第二版 人民大学出版社 取自 https zh wikipedia org w index php title 道义逻辑 amp oldid 73904341, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。