道义逻辑
符号化应该(obligate)p:Op允许(permit)p:Pp禁止(forbid)p:Fp应该...不...(obligate...not...)非p:O¬p允许...不...(permi
符号化
应该(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¬p↔Pp
“不许可不A”等值于“应当A”; ¬P¬p↔Op
“应当A”等值于“禁止不A”;Op↔F¬p
“禁止A”等值于“应当不A”。 Fp↔O¬p
资料参考
《逻辑学》(第二版)人民大学出版社
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
——— 没有了 ———
编辑:阿族小谱
文章价值打分
- 有价值
- 一般般
- 没价值
当前文章打 0 分,共有 0 人打分
文章观点支持
0
0
文章很值,打赏犒劳一下作者~
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回
打赏
私信
推荐阅读
· 萨道义
生平萨道义是德国-英国混血儿。父亲汉斯·大卫·克里斯托弗·萨托(HansDavidChristophSatow)生于德国维斯马,1846年归化化英国人;母亲玛格丽特(Margret)是英格兰人。萨道义与日本女子武田兼结婚,育有一子──武田久吉。1843年6月30日,萨道义生于英国首都伦敦北部的克拉普顿(Clapton),在米尔希尔学校(MillHillSchool)、伦敦大学学院完成学业。1929年8月26日,萨道义卒于英国英格兰德文郡奥特里圣玛丽(OtteryStMary)。延伸阅读TheDiariesofSirErnestSatow,BritishEnvoyinPeking(1900-06)editedbyIanRuxtonintwovolumes,LuluPressInc.,April2006ISBN978-1-4116-8804-9(VolumeOne);ISBN978-1-411...
· 逻辑
概论逻辑(英语:logic)的字根源起于希腊语逻各斯(希腊语:λόγος),最初的意思有词语、思想、概念、论点、推理之意。后译为(法语:logique),最后发展为英文中的逻辑(英语:logic)。1902年严复译《穆勒名学》时,将其意译为“名学”,但这不合名家或者名教之名学中“名”的本意。和制汉语采用汉字“论理”,意译为“论理学”。孙文于其文《治国方略·以作文为证》意译为“理则”,当代中文一般采取音译方式,将其译为逻辑。逻辑本身是指是推论和证明的思想过程,而逻辑学是研究“有效推论和证明的原则与标准”的一门学科。作为一个形式科学,逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围是非常广阔的,从对谬论与悖论的研究之类的核心议题,到利用概率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中。传统上,逻辑被作为哲学的一个分支来研究,和...
· 逻辑门
符号表同步型4比特计数器(74LS192)以ANSI/IEEEStd.91-1984和IECPublication60617-12表示常用的逻辑门有两种常用的表示法,他们皆由ANSI(美国国家标准协会)/IEEE(电机电子工程师学会)Std91-1984跟作为其补充的ANSI/IEEEStd91a-1991。“特殊形状符号”是用过去电路简图为基础以及50年代、60年代MIL-STD-806作衍生;有时也被描述成“军事”,而这个也反映了它的起源。“IEC矩形国标符号”是以ANSIY32.14跟一些早期工业用的符号为基础,再重新由IEEE跟IEC(国际电工委员会)做微调而成;在每个符号中皆可以发现有矩形的外框围着所代表的字,且相较于旧的表示法,他可以涵盖更多的逻辑门。ICE的标准也被转换成其他的表示法,像是欧洲的EN(英语:EuropeanCommitteeforStandardization...
· 大逻辑
作者简介乔治·威廉·弗里德里希·黑格尔(GeorgWilhelmFriedrichHegel,1770年8月27日-1831年11月14日),德国哲学家,出生于今天德国西南部巴登-符腾堡首府斯图加特。18岁时,他进入蒂宾根大学(巴登-符腾堡的一所新教神学院)学习,在那里,他与荷尔德林、谢林成为朋友,同时,为斯宾诺莎、康德、卢梭等人的著作和法国大革命深深吸引。许多人认为,黑格尔的思想,象征着了19世纪德国唯心主义哲学运动的顶峰,对后世哲学流派,如存在主义和马克思的历史唯物主义都产生了深远的影响。更有甚者,由于黑格尔的政治思想兼具自由主义与保守主义两者之要义,因此,对于那些因看到自由主义在承认个人需求、体现人的基本价值方面的无能为力,而觉得自由主义正面临挑战的人来说,他的哲学无疑是为自由主义提供了一条新的出路。书中核心观点本书中黑格尔所探讨的内容,只是关于黑格尔哲学中逻辑学的相关内容,是研究理
· 逻辑与
相关名称基本定义真值表定义A与B的真值表(也写作A∧∧-->{\displaystyle\land}B(逻辑学),A&&B(计算机科学),或A⋅⋅-->{\displaystyle\cdot}B(电子学))。A∧∧-->B{\displaystyle~A\landB}的真值表:推理规则合取引入规则(∧+)(conjunctionintroductionrule):形式化为:例如:合取消去规则(∧-)(Conjunctioneliminationrule):或者,形式化为:或者,合成与分解规则作为一种推理规则,联言推理的合成式是经典逻辑中简单且有效的论证形式。这个论证形式有两个前提,A和B,可以直观地推出他们的合取。用逻辑运算符写作:下面的例子是一个满足联言推理的合成式的论证:联言推理的分解式是另一个在经典逻辑中简单且有效的论证形式。从任何合取式中都可以直观...
关于我们
关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。
APP下载
下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信