普通逻辑知识点

第一章概论1.学习逻辑学的意义：为了进行合乎理性的人际交流，我们应该提高自己的推理能力和创新能力，这样才能建立合理、坚实的基础平台。（领会）2.（填空）简述普通逻辑的研究对象及特点：逻辑学主要研究（推理的有效性问题）。推理的有效性指的是（推理的形式有效性）。普通逻辑具有（工具性和全人类性）。充分必要条件假言三段论推理是一个前提为充分必要假言判断，另一个前提为其它类型的判断，并且根据充分必要条件假言判断联结项的性质推出结论的假言三段论推理。充分必要条件假言判断判断前件和后件之间的关系为：前、后件必须同在或同不在。因而，充分必要条件假言三段论推理有两条规则：第二，否定前件就要否定后件；否定后件就要否定前件。6-8充分必要条件假言三段论推理有四种有效形式：1．肯定前件式。即在前提中，非假言前提肯定充分必要条件假言前提的前件，而结论肯定它的后件。p，则q；p，所以，q。或借用数理逻辑的符号形式表示为：((p←→q)∧p)-→q。例如：当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为，法律有规定，所以，甲某的过失犯罪行为，要负刑事责任。2．肯定后件式。即在前提中，非假言前提肯定充分必要条件假言前提的后件，而结论肯定它的前件。其逻辑形式是：当且仅当p，则q；q，所以，p。或借用数理逻辑的符号形式表示为：((p←→q)∧q)-→p。例如：当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为要负刑事责任。所以，甲某的过失犯罪行为，法律有规定。3．否定前件式。即在前提中，非假言前提否定充分必要条件假言前提的前件，而结论否定它的后件。p，则q；非p，所以，非q或借用数理逻辑的符号形式表示为：例如：当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为，法律没有规定，所以，甲某的过失犯罪行为，不负刑事责任。4．否定后件式。即在前提中，非假言前提否定充分必要条件假言前提的后件，而结论否定它p，则q；非q，所以，非p。或借用数理逻辑的符号形式表示为：例如：当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为，不负刑事责任，四、充分必要条件充分必要条件也即充要条件，意思是说，如果能从命题p推出命题q，则也能从命题q推出命题p。在逻辑学中：当命题“若A则B”为真时，A称为B的充分条件，B称为A的必要条件。因此：当命题“若A则B”与“若B则A”皆为真时，A是B的充分必要条件（简称充要条件），同时，B也是A的充分必要条件。当命题“若A则B”为真，而“若B则A”为假时，我们称A是B的充分不必要条件，B是A的必要不充分条件，反之亦然。五、逻辑常项什么是逻辑常项逻辑常项是在命题逻辑中的逻辑形式的联结词。逻辑常项是逻辑形式中不变的部分,表示思维的形式。简单命题，例如“所有金属都是导电的”、“有些顾客不是会员”等，这类命题可以写成“所有S都是P”、“有些S不是P”的表达形式，其中，“S”和“P”是逻辑变项，“所有……都是……”、“有些……不是……”是逻辑常项。复合命题，例如“如果天下雨，那么地湿”、“或者你去参加比赛，或者我去参加比赛”等，这类命题可以写成“如果P，那么Q”、“或者P或者Q”，其中，“P”、“Q”是逻辑变项，“如果……那么……”、“或者……或者……”是逻辑常项。六、1.联言命题：断定事物情况是同时存在的，“并且”。有分解式、组合式两种。2.选言命题：几种情况的可能性，其中至少有一个是真的。“或者……或者……”“要么……要么……”。有相容的选言命题：至少有一个为真或两个为真P∨Q（选言支可以都是真的，而且只要有一个选言支真，相容选言判断就为真。）、不相容的选言命题：只能有一个为真（要么P要么Q，选言支不能同时为真，也不能同时为假。）两种3.选言支是否穷尽：指选言命题反映了事物的全部可能情况。如：马克思或者是德国人，或者是非德国人。如果选言支穷尽，则该选言命题必真；如果选言支不穷尽，那么该选言命题真假不确定。上述命题为真。4.属加种差（又称真实定义、实质定义.）：给概念下定义最常用的是“属”加“种差”的定义方法,即:被定义的概念=邻近的属+种差。比如:单身汉(被定义者)=未婚(种差)+男子(临近的属概念)。5.论证的逻辑规则主要有以下五个方面：①论题必须明确：如果违反这个规则，就会犯“论题模糊”的逻辑错误。②论题必须保持同一：违反这个规则，就会犯“转移论题”的逻辑错误。③论据必须是已知为真的判断：违反这一条逻辑规则的错误是“虚假论据”、“预期理由”。“虚假论据”是指以虚假的判断作为论据。“预期理由”是以真实性尚待检验的判断作为论据。④论据的真实性不能依赖于论题的真实性：违反这一条规则就会犯“循环论证”的逻辑错误。⑤论证方式的有效性：违反这条规则就会犯“推不出”的逻辑错误。6.假言命题：断定事物之间的条件关系的复合命题。结构式：假言支有两个：原因为“前件”，结果为“后件”。联结项：“如果……那么……”“只有……才……”“当且仅当……则……”类型：充分条件假言命题，符号为：p→q(读作“p蕴涵q”）；必要条件假言命题，符号为：p←q(读作“p反蕴涵q”）；充分必要条件假言命题，符号为：p←→q。7.假言易位推理：充分条件假言易位推理：（P→Q)←→(┐Q→┐P）例：“如天雨，则地湿”等值于“如地不湿，则天不雨”必要条件假言易位推理：（P←Q）←→（Q→P）充分必要条件假言易位推理：（P←→Q）←→（Q←→P）8.假言联锁推理：充分条件假言联锁推理：结构式：肯定式：（P→Q）∧（Q→R）→（P→R）；否定式：（P→Q）∧（Q→R）→（┐R→┐P）必要条件假言联锁推理：充分必要条件假言联锁推理：9.假言选言推理（二难推理，也叫两刀论法）：以假言判断和选言判断为前提，并根据假言判断和选言判断的逻辑性只进行的推理。常用于论辩。10.基本的真值联结词：┐（否定）∧（合取）∨（析取）→（蕴涵）←→（等值）10.真值形式：指真值联结词和命题变项所构成的形式结构。五种基本的真值形式：否定式：┐P合取式：P∧Q析取式：P∨Q蕴涵式：P→Q等值式：P←→Q