|
复合命题有联言命题、选言命题、假言命题、负命题四大类,这四类复合命题都可以构成的推理的有效式.联言命题构成的推理有组合式和分解式,相容的选言命题构成的推理有否定肯定式,不相容选言命题构成的推理有否定肯定式和肯定否定式,充分条件假言命题构成的推理有肯定前件式和否定后件式,必要条件的假言命题构成的推理有否定前件式和肯定后件式,充分必要条件假言命题构成的推理有肯定前件式、肯定后件式、否定前件式、否定后件式,负命题构成的推理是根据负命题的等值命题来进行的.除此之外,还有假言选言推理、假言联言推理等,有效式还有很多. 肯前律:由“如果P那么Q,并且P”可以推出“Q”;否后律:由“如果P那么Q,并且非Q”可以推出“非P”;合取律:由“P,Q”可以推出“P合取Q”;假言三段论:由“如果P,那么Q“,并且”如果Q,那么R“可以推出”如果P,那么R“;逆否推理:由“如果P,那么Q”可以推出“如果非Q,那么非P”;析取律:由“P”可推出“P析取Q”;双重否定律:由“非非P”可推出“P”;合取分解律:由“P合取Q”可推出“P”;同一律:由“P”可以推出“P”;简化律:“P合取P”等值于“P” 充分条件:如果q,则p.q,那么p.必要条件的负命题:并非只有q,p.非q合取p.充分条件直言推理:所有s都是p.s,那么p.必要条件直言推理:只有s都是p.p,那么s.老实说,后面一题不是很懂.你看着要吧. 联言命题是断定事物情况同时存在在复合命题.如:“数学不但有算数运算而且还有逻辑运算”选言命题是断定事物若干种可能情况至少有一种情况存在的复合命题.选言命 析取式:用析取真值连接词“∨”将两个或两个以上的命题联结而成的一种命题形式合取式:用合取真值连接词“∧”将两个或两个以上的命题联结而成的一种命题形式可以它们的连接词上来区别:析取相当于“并集”而不是“并集”,合取相当于“交集”而不是“交集”联系:都是数学上的概念性的东西,期末试卷上都是同时考的等 基本的复合命题构成的推理主要有以下3种:1、联言推理,有两种有效式,分别为分解式和组合式.2、选言推理,又分为相容的选言推理和不相容的选言推理,相容的选言推理只有一种有效式,即否定肯定式,不相容的选言推理有两种有效式:否定肯定式和肯定否定式.3、假言推理,可分为三种:充分条件的假言推理、必要条件的假言推理、充分必要条件条件的假言推理.充分条件的假言推理有两种有效式:肯定前件式、否定后件式;必要条件的假言推理也有两种有效式:否定前件式、肯定后件式;充分必要条件条件的假言推理有4种有效式:肯定前件式、肯定后件式、否定前件式、否定后件式. 联言推理的两种有效形式分别是分解式与组合式. 你的问题中,第一个命题形式是pvq,第二个应该不是puq吧,是不是你打错了,或者符号无法打出来?你可以用手机拍照后,把图片发上来.现对第一个命题构成的推理解答如下.pvq是一个相容的选言命题,根据它的逻辑性质,构成的有效推理形式只能是否定肯定式,有以下两种:(1) pvq p 所以q 其蕴涵式表示为((pvq)∧p)→q(2) pvq q 所以p 其蕴涵式表示为((pvq)∧q)→p 这两种推理形式本质上是一样的,都是通过否定一个支命题,推出对其余支命题的肯定. 那是错的.解释:充分条件的推理:肯定前件就能肯定后件.否定后件就能否定前件.否定前件不能否定后件.肯定后件不能肯定前件. |
|
|
