逻辑复习资料 2-+~D8512(3)

17.不相容选言推理：是以不相容宣言判断为前提并根据不相容选言判断的逻辑性质进行推理。

18.不相容选言推理的规则：

（1）肯定一个选言支，可以推出否定另一个选言支。 （2）否定一个选言支，可以推出肯定另一个选言支。 19.有效式：

（1）肯定否定式：根据规则一。 （2）否定肯定式：根据规则二。

20.假言判断：是断定一种失误情况存在与否是另一种失误情况存在与否的条件的复合判断。 结构：假言支和假言联结词.

种类：充分条件假言判断、必要条件假言判断、充要条件假言判断。

21.充分条件假言判断：是断定前件存在则后件一定存在的假言判断。联结词：如果...那么... 22.充分条件假言判断的真值：p真q假则假。

23.充分条件假言推理：是一充分条件嘉言判断为前提，并依据充分条件假言判断的性质进行的推理。

24.充分条件假言推理规则：

（1）由肯定前件，可以推出肯定后件。 （2）由否定后件，可以推出否定前件。 （3）由否定后件，不能推出肯定前件。 （4）由肯定前件，不能推出否定后件。 25.充分条件假言推理的有效式： （1）肯定前件式：根据规则一。

（2）否定后件式：根据规则二。

26.必要条件假言判断：是断定前件不存在则后后件一定不存在的假言判断。 27.必要条件假言判断的真值：p假q真则假

28.必要条件假言推理：是一必要条件假言判断为前提，并依据必要条件假言判断的性质进行的推理。

29.必要条件假言推理的规则：

（1）由否定前件，可以推出否定后件。 （2）由肯定后件，可以推出肯定前件。 （3）由肯定前件，不能推出肯定后件。 （4）由否定后件，不能推出否定前件。

30.充分必要假言判断：是断定前件存在,则后件一定存在;前件不存在，则后件一定不存在的假言判断。

31.充分必要假言判断的真值：同真同假 32.充分必要假言推理的有效式： （1）由肯定前件，可以推出肯定后件。 （2）由否定前件，可以推出否定后件。 （3）由肯定后件，可以推出肯定前件。 （4）由否定后件，可以推出否定前件。 33.负判断：是否定某个判断的判断。 34.负判断的真值：真假相反。

35.直言判断的负判断：即否定一个直言判断的判断，它的等值判断是与被其否定的直言判断具有矛盾关系的判断。

（1）单称判断的负判断及其等值判断 并非这个S是P 并非这个S不是P

因为单称肯定判断与它的负判断是矛盾关系，而单称肯定判断与单称否定判断也是矛盾关系，所以，单称肯定判断的负判断和单称否定判断是等值的。 （2）全称判断的负判断及其等值判断

①SAP与SOP是矛盾关系，故其负判断“并非SAP”等值于SOP。即： ﹁SAP←→SOP ②SEP与SIP是矛盾关系，故其负判断“并非SEP”等值于SIP。即： ﹁SEP←→SIP (3)特称判断的负判断及其等值判断

①SIP与SEP是矛盾关系，故其负判断“并非SIP”等值于SEP。即： ﹁SIP←→SEP ②SOP与SAP是矛盾关系，故其负判断“并非SOP”等值于SAP。即： ﹁SOP←→SAP 3.复合判断的负判断及其等值判断 （1）联言判断的负判断及其等值判断

在联言判断中，只要有一个联言支为假，那么这个判断就是假的。因此，与联言判断的负判断相等值的判断，应该是一个相应的选言判断。即：﹁（P∧q）←→﹁P∨﹁q

例如，负判断“并非张三和李四都要受到法律制裁”，等值于“或者张三不受到法律制裁，或者李四不受到法律制裁”。

（2）选言判断的负判断及其等值判断

①相容选言判断只有当所有的选言支为假时，这个判断才是假的，因此，与相容选言判断的负判断相等值的判断是一个相应的联言判断。即：﹁（P∨q）←→﹁P∧﹁q

例如，负判断“并非他或者是个盗窃犯，或者是个杀人犯”，等值于“他既不是盗窃犯，也不是杀人犯”。

②不相容选言判断有且只有一个选言支为真时，这个判断才是真的，其它情况之下都是假的。

因此，与不相容选言判断的负判断相等值的判断是一个相应的选言判断。﹁（P∨q）←→（P∧q）∨（﹁P∧﹁q）

例如，负判断“并非逆水行舟要么是前进，要么是后退”，等值于“逆水行舟或者既前进又后退，或者既不前进又不后退”。 （3）假言判断的负判断及其等值判断

①充分条件假言判断只有当前件真，后件假时，它才是假的，其它情况下都是真的。因此，与充分条件假言判断的负判断相等值的判断是一个相应的联言判断“p并且非q”。即：﹁（P→q）←→P∧﹁q

例如，负判断“并非如果有了风，树就动”，等值于“有了风，但是树没有动”。

②必要条件假言判断只有当前件假，后件真时，它才是假的。因此，与必要条件假言判断的负判断相等值的判断是一个相应的联言判断“非p并且q”。即：﹁（P←q）←→﹁P∧q 例如，“并非只有造成被害人死亡的后果，才能构成故意杀人罪”，等值于“虽然没有造成被害人死亡的后果，也能构成故意杀人罪”。

③充分必要条件假言判断在前、后件同真或同假时，它才是真的。充分必要条件假言判断只有在前、后件一真一假的情况下，它才是假的。因此，充分必要条件假言判断的负判断等值于一个相应的选言判断。即：﹁（P←→q）←→（P∧﹁q）∨（﹁P∧q） 36.真值表是以表格的直观形式表示与判定判断真值和推理有效性的一种逻辑方法。 注：行数为2的n次方加1，n为支判断的个数。列数为m加n m为联结词的个数 37.真值表的作用：

（1）定义符合判断额逻辑联结词。 （2）判定判断之间的逻辑关系。 （3）判定推理形式是否为有效式。

五．逻辑的基本规律

1.逻辑基本规律：是人们运用概念、做出判断、进行推理和论证时所必须遵守的最起码的思维准则，是思维形式的规律。

2.分类：同一律、矛盾律、排中律、充足理由律（不掌握）

3.同一律：指同一个推理、论证过程中，任何一个概念或判断都与其自身保持同一。 4.错误形式：混淆概念、偷换概念（区分主观有无故意）；混淆论题、偷换论题(同上) 5.矛盾律：在同一个推理过程中，互相否定的判断不可能都是真的，其中必有一个是假的。6.矛盾律适用于逻辑方阵图中的矛盾关系和上反对关系。 7.错误形式：自相矛盾

8.排中律：在同一个推理、论证过程中，两个相互否定的判断，不可能都是假的，其中必有一个是真的。

9.排中律使用于逻辑方阵图中的矛盾关系和下反对关系。 10.错误形式：非此非彼、模棱两可。 11.逻辑基本规律的联系

（1）具有相同的逻辑功能，保证思维的确定性。 （2）具有相同的限制条件，同一思维过程。 12.逻辑基本规律的区别 （1）适用范围不同。

（2）逻辑要求及意犯错误不同。

（3）逻辑作用不同，矛盾律为无矛盾性，排中律为明确性。 六．归纳推理

1.归纳推理：从个别性只是推出一般性知识的推理。演绎：一般到个别 类比：个别到个别