概述
演绎推论
1.推论形式、变项和常项
非P即Q
1.>变项:没有确定含义的符号或语词 (P,Q,相当于空位)
2.>常项:具有确定含义的符号或语词 (非,即)
3.>变域:变项的变化范围(变项是有范围的,决定了变项的性质,)
命题的集合----命题变项
词项的集合----词项变项
个体的集合----个体变项
2.推论的有效性
当一个演绎推论的所有前提为真时,其结论必然为真,那么具有这样性质的推论,就是有效的。
例推论1:所有爬行动物都是用肺呼吸的,蛇是动物,所以,蛇是用肺呼吸的。(前提为真,有效)
例推论2:所有动物都是用肺呼吸的,鱼是动物,所以,鱼是用肺呼吸的。(前提为假,结论也是假的,有效)
推论的有效取决于推论的形式,而不是推论的内容(形式逻辑)。有效不一定为真。
替换例子:用过对一个推论形式中的变量作替换,而得到的一个具体推论,叫做该推论形式的一个替换例子。(具体推论)
推论形式 有效性:一个推论形式是有效的,当且仅当,该推论形式的所有替换例子并非所有前提真而结论假。(概念,要素一:是人的直觉。要素二:可以系统化)
推论的有效性:一个推论是有效的,当且仅当,它是一个有效推论形式的替换例子。
问题在于推论形式是有效的还是无效的。
反例:前提真,结论假
什么是无效推论:如果一个推论的所有前提是真的而结论是假的,那么该推论是一个无效的推论。
有些:逻辑学里规定解释为 至少有一个
最后
以上就是清秀花生为你收集整理的逻辑学 笔记一 推论的有效性和可靠性的全部内容,希望文章能够帮你解决逻辑学 笔记一 推论的有效性和可靠性所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。
本图文内容来源于网友提供,作为学习参考使用,或来自网络收集整理,版权属于原作者所有。
发表评论 取消回复