科学网 › 标签 › 肯定前件

标签: 肯定前件

相关帖子	版块	作者	回复/查看	最后发表

没有相关内容

相关日志

简介“演绎推理” - “肯定前件” （Modus ponens）: 热度 1 liuyu2205 2020-4-20 16:53; “ 肯定前件 ” 是 “ 演绎推理 ” 的基本推理规则，自然演绎系统（ Natural deduction ），希尔伯特系统（ Hilbert system ），相继式演算系统（ Sequent calculus ）皆以此为基础。一， “ 肯定前件 ” 的形式表达 “ 肯定前件 ” ，也称为 “ 三段论 ” ： - “ 如果 A 那么 B ； A ；故 B 。 ” - A, A → B ⊢ B 二， “ 肯定前件 ” 溯源【 1 】 “ 肯定前件 ” （拉丁语 Modus ponens ， MP ）的历史可以追溯到古希腊，第一个明确描述使用 “ 肯定前件 ” 论证的是德奥弗拉斯特（ Theophrastus ）。德奥弗拉斯特（ 371 BC-288 BC ）是古希腊的哲学家，植物学家和博物学家，炼金术士，亚里士多德的学生。对德奥弗拉斯特来说，尽管有障碍和困难，但科学家的合法雄心是要设法阐明他所观察和分析的事物的原因，为达到此目的，需要对一般性理论保持批评的态度，培养自己的观察力，诉诸类比，建立新的假设（如果相关），。。。必须敦促人们学习科学而不是依靠财富。智者应该是这样的：不会在自己的家乡以外成为陌生人；不会失去朋友后缺少爱他的人；成为世界公民，勇敢地轻视财富的弊端。这正是 “ 海内存知己，天涯若比邻 “ ，。。。三， “ 肯定前件 ” 的有效性 “ 肯定前件 ” 可以看作是一般性 “ 因果关系 ” 的形式化表达， “ 推论的信任是一种信念，即如果两个先前的命题（前提）没有错误，那么最终的命题（结论）就没有错误 ” 。换句话说：如果一个命题蕴含第二个命题，而第一个命题为真，则第二个命题也为真。 “ 肯定前件 ” 的有效性还可以使用真值表来说明： p q p → q T T T T F F F T T F F T 参考文献：【 1 】 https://fr.wikipedia.org/wiki/Modus_ponens; 个人分类: 在法国教逻辑课|12857 次阅读|4 个评论

更多...

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

标签: 肯定前件

相关帖子

相关日志

关闭安全验证