2．负命题的等值推理（命题）（1）联言命题的负命题：⌝（p ∧ q）↔⌝ p ∨⌝ q（2）相容选言命题的负命题：⌝（p ∨ q）↔⌝ p ∧⌝ q（3）不相容选言命题的负命题：⌝（p ∨q）↔（p ∧ q）∨（⌝ p ∧⌝ q）（4）充分条件假言命题的负命题：⌝（p → q）↔ p ∧⌝ q（5）必要条件假言命题的负命题：⌝（p ← q）↔⌝ p ∧ q（6）充分必要条件假言命题的负命题：⌝（p ↔ q）↔（p ∧⌝ q）∨（⌝ p ∧ q）（7）负命题的负命题：⌝（⌝ p）↔ p3,命题推理的有效式(1).联言推理1)联言推理分解式：p ∧ q → p 或p ∧ q →q2)联言推理合成式：p, q → p ∧ q(2). 选言推理1)相容选言推理的否定肯定式：（p ∨ q）∧⌝ p → q 或（p ∨ q）∧⌝ q→ p2)不相容选言推理的否定肯定式：（p ∨q）∧⌝ p → q 或（p ∨q）∧⌝ q → p3)不相容选言推理的肯定否定式：（p ∨q）∧ p →⌝ q 或（p ∨q）∧ q→⌝ p (3).假言命题推理1)充分条件假言推理的肯定前件式：（p → q）∧ p → q2)充分条件假言推理的否定后件式：（p → q）∧⌝ q →⌝ p3)必要条件假言推理的否定前件式：（p ← q）∧⌝ p →⌝ q4)必要条件假言推理的肯定后件式：（p ← q）∧ q → p5)充要条件假言推理的肯定前件式：（p ↔ q）∧ p → q6)充要条件假言推理的肯定后件式：（p ↔ q）∧ q → p7)充要条件假言推理的否定前件式：（p ↔ q）∧⌝ p →⌝ q8)充要条件假言推理的否定后件式：（p ↔ q）∧⌝ q →⌝ p5，A、E、I、O、a、e六种性质判断主、谓项的周延情况6，A、E、I、O四种判断的真假情况列表7，A、E、I、O四种性质判断之间的真假关系，可用如下的逻辑方阵表示：A 反对关系 E差矛矛差等盾盾等关关关关系系系系I 下反对关系 O矛盾关系： A与E，I与O，不能同真，不能同假反对关系： A与E 不能同真，可以同假下反对关系：I与O 可以同真，不能同假差等关系： A与I，E与O，可以同假，可以同真8，对当关系推理矛盾关系： SAP ↔⌝SOP SEP ↔⌝SIP SIP ↔⌝SEP SOP ↔⌝SAP 差等关系： SAP→SIP SEP→SOP ⌝SIP→⌝SAP ⌝SOP→⌝SEP反对关系： SAP→⌝SEP SEP→⌝SAP下反对关系：⌝SIP→SOP ⌝SOP→SIP9，命题变形推理（1）换质法: SAP ↔ SEP~ SEP~ ↔ SAP SEP ↔ SAP~ SAP~ ↔ SEPSIP ↔ SOP~ SOP~ ↔ SIP SOP ↔ SIP~ SIP~ ↔ SOP（2）换位法: SAP → PIS SEP ↔ PES SEP → POS SIP ↔ PIS10,三段论的格和式一、判断主项、谓项周延与否的四句话1．全称或单称判断的主项都周延。
形式逻辑判定真假逻辑值的方式判断形式的真假问题，在逻辑学界历来争论不休。
有些逻辑学家说：“符合实际情况的判断为真判断，不符合实际情况的判断为假判断。
”已故的逻辑学家金岳霖也说：“如果一个判断符合客观世界的事物情况，那么这个判断就是真的，否则就是假的。
”对于这种把判断形式与判断内容混为一谈的观点，笔者有些不敢苟同，金岳霖先生说的“符合实际情况”是专指判断的形式，金岳霖先生一再强调形式逻辑研究的对象是思维的形式。
金岳霖先生只是强调了形式逻辑必须以符合实际情况的判断内容作为逻辑推理的前提，并不是指“判断形式的真与假的确定方法”，形式逻辑对判断的真假的确定只能是抽象的形式。
早在两千多年前，亚里斯多德在自己的逻辑学著作———《工具论》中举过一个这样的例子：“明天将有海战发生”。
他认为，要么明天发生海战，要么没有发生海战，二者必居其一。
但海战发生与否都不是必然的，都具有偶然性。
所以，在今天看来：“明天将有海战发生”这一判断既不是真的，也不能说是假的。
波兰著名的逻辑学家卢卡西维茨也举了一个类似的判断：“明年12月21日中午我将在华沙”。
他认为这一判断现在既不真，也不假，而是真假未定。
由此，笔者认为在现代逻辑学界一直流传着的一种观点即“形式逻辑对判断真假的断定是有限的”是错误的。
有些判断能够断定其真假，但是有些判断存在既非真，又非假的现象。
人类的思维十分复杂，属于多学科研究的对象。
形式逻辑仅仅是研究思维规律的科学，它并不能代替逻辑学的全部内涵。
但如果从形式逻辑的角度说，无论是逻辑学之父亚里斯多德，还是多值逻辑的创始人卢卡西维茨都犯了把思维形式与思维内容混为一谈的逻辑错误。
形式逻辑的的判断不是真就是假，绝对没有什么多值，也更不存在非真非假的判断。
一、性质判断的逻辑真假断定形式逻辑对性质判断的真假值的研究以主谓项的外延关系为依据，并不涉及判断内容是否与客观实际相符合。
在形式逻辑学界，有人曾说：在人类未发现黑色天鹅之前，“所有的天鹅是白色的”被看作是绝对的真理。
1.现代汉语中的逻辑：【填空、选择】①指客观事物的规律、规律性“要引导学生研究中国革命的逻辑”就是指社会发展的规律性②指某种特别的理论、观点（多含贬义）“这真是荒谬的逻辑”“有人说：清官比贪官还要坏，这真是奇怪的逻辑”③专指思维的规律、规则“说话、写文章要讲逻辑”“要做出合乎逻辑的结论”与逻辑学同义，指研究思维形式及其规律的学科。
2.逻辑学的学科体系传统形式逻辑：简称“逻辑学”或“逻辑”或“普通逻辑”形式逻辑现代形式逻辑：数理逻辑（符号逻辑）逻辑学(按门类)辩证逻辑【填空】逻辑科学的三个分支：辩证逻辑、数理逻辑、传统逻辑3.逻辑学的研究对象逻辑学是研究思维的逻辑形式、逻辑规律、简单的逻辑方法的科学。
4.思维的定义思维就是理性认识，是人脑借助于语言材料，运用概念以作以命题和推理的过程，它是对客观事物的间接的、概括的反映。
5.思维的基本形态概念、命题推理是理性认识的基本形态（类型），也是思维的基本形态。
6.【填空、判断、选择】思维反映对象有三个基本特征：概括性、间接性、与语言的密切联系7.概念：用词或短语表达的命题：是用句子表达的推理：用因果复句或具有推理关系的句群表达的。
总之，思维是语言的思想内容，语言是思维的物质载体。
8.【填空】命题、推理、概念的关系概念是思维的最小单位。
命题是由概念组成的，概念之间的不同联结方式构成命题的不同逻辑形式。
推理是由命题组成的，命题之间不同的联结方式可构成推理的不同的逻辑形式。
9.逻辑形式的分析①思维的逻辑形式是由两部分组成的：逻辑变项、逻辑常项②形式逻辑研究思维的逻辑形式，是从真假值（亦称逻辑值）的角度出发的。
10.传统观点认为逻辑基本规律有四条：即同一律、不矛盾律、排中律、充足理由律。
11.简单的逻辑方法：观察和实验法、比较分析和综合、明确概念的方法：限制、概括、定义、划分。
12.逻辑学的性质：工具性、基础性、全人类性1.概念：反映对象特有属性或本质属性的思维形式2.概念有两个重要的逻辑特征：内涵和外延（1）内涵：指反映在概念中的对象的特有属性或本质属性。
