当前位置:首页 > 网络资讯 > 正文

充分条件假言命题(充分条件假言命题推理规则)



1、充分条件假言推理有两条规则: 肯定前件,就要肯定后件充分条件假言

命题;否定前件,不能否定后件。 否定后件,就要否定前件;肯定后件,不能肯定前件。 2、必要条件假言推理的规则 必要条件假言推理必须遵守两条规则: 否定前件就要否定后件,肯定后件就要肯定前件。 肯定前件不能肯定后件,否定后件,不能否定前件。 3、充分必要条件假言推理有两条规则: 肯定前件,就要肯定后件;肯定后件,就要肯定前件。 否定前件,就要否定后件;否定后件,就要否定前件。

联言命题是断定事物情况同时存在在复合命题. 如:“数学不但有算数运算而且还有逻辑运算” 选言命题是断定事物若干种可能情况至少有一种情况存在的复合命题. 选言命题又分为相容性选言命题和不相容性选言命题 “相容性”:是断定事物若干种可能情况可同时存在的复合命题. 如:“明天北京可能会下雨,也可能会天晴” “不相容性”是断定事物若干种可能情况只有一种存在的复合命题 如“对世界原本的回答,

要么是物质的,要么是精神的” 假言命题是断定某一事物的存在是另一事物存在的条件的复合命题 假言命题又分,充分条件假言命题 如:“如果患上肺炎,那么就会发烧” 必要条件假言命题 如:“只有某人年满18周岁,才有选举权” 充分必要假设命题 如:“当且仅当一个整数能被2整除,它才是偶数” 负命题是否定某个命题,又叫命题的否定. 如:并非一切水生物都是鱼 大概是这样了,挺复杂的

在逻辑学中,命题分为简单命题和复合命题两大类,不同的命题类别,会有不同的命题连接词。

首先说简单命题的命题连接词,简单命题分为两类:直言命题(性质命题)和关系命题。直言命题的连接词只有“是”和“不是”两个。关系命题的连接词相对多一些,只要是能表明事物情况与事物情况之间关系的词项,都可以作为命题连接词,譬如:大于、小于、多于、少于、之前、之后、高于、低于、早于、晚于等等。

再谈复合命题的命题连接词,复合命题分为四类:联言命题、选言命题、假言命题、负命题。

联言命题的逻辑联结词比较简单,“并且”“而且”“还”等,只要表示支命题之间是同时为真的词项,都可以作为联言命题的逻辑联结词。

选言命题分为两类:相容的选言命题和不相容的选言命题。相容的选言命题的逻辑联结词以“或者,或者”为典型连接词,表示不同的选言支可以同真;不相容的选言命题的逻辑联结词以“要么,要么”为代表,表示不同的选言支不能同真。

假言命题分为三类:充分条件假言命题、必要条件假言命题、充分必要条件假言命题。充分条件假言命题的逻辑连接词以“如果,那么”为典型连接词,包括“只要,就”等;必要条件假言命题的逻辑联结词以“只有,才”为典型,包括“除非,才”等;充分必要条件假言命题的逻辑联结词以“当且仅当,才”为典型。

负命题的逻辑联结词只有“并非”为典型。

要了解命题连接词的数量,首先要从了解命题的分类开始,如果不掌握命题的分类,命题连接词的掌握也会是无源之水。

如果A那么B的否命题是A且否B;只有A才会B的否命题是B且否A。

数学应用:如果A能推出B,那么A就是B的充分条件。其中A为B的子集,即属于A的一定属于B,而属于B的不一定属于A,具体的说若存在元素属于B的不属于A,则A为B的真子集;若属于B的也属于A,则A与B相等。

逻辑应用:如果有事物情况A,则必然有事物情况B;如果没有事物情况A而未必没有事物情况B,A就是B的充分而不必要条件,简称充分条件。

充分条件假言命题(充分条件假言命题推理规则)

://iknow-pic.cdn.bcebos.com/a8ec8a13632762d02aacd06baeec08fa503dc650

充分条件假言命题(充分条件假言命题推理规则)

扩展资料:

根据充分条件假言命题的逻辑性质进行的推理叫充分条件假言推理。充分条件假言推理,就是以充分条件假言命题为大前提,通过肯定前件或否定后件而得出结论的推理。

这种推理结构由三部分组成,其中大前提是充分条件假言判断,小前提和结论是由这个充分条件假言判断的前件或后件组成的判断。列宁说过:“任何科学都是应用逻辑。”

陈述某一事物情况是另一件事物情况的充分条件的假言命题叫做充分条件假言命题。充分条件假言命题的一般形式是:如果p,那么q。符号为:p→q(读作“p蕴涵于q”)。例如“如果物体不受外力作用,那么它将保持静止或匀速直线运动”是一个充分条件假言命题。