曹德旺辞职,企业新闻
2026-06-27 07:48:22本站
FA↔O¬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”。道义逻辑
文章地址：http://1532578.xianpinle.com/html/40e099959.html (转载请注明出处)
免责声明：本文仅代表作者个人观点，与本网站无关。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。