《2022年形式逻辑第四章第五节负判断.docx》由会员分享，可在线阅读，更多相关《2022年形式逻辑第四章第五节负判断.docx（7页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、精选学习资料 - - - - - - - - - 多练出技巧 巧思出硕果第四节 负判定一、什么是负判定 1. 含义：负判定是否定某个判定的判定；例如：并不是全部的鸟都会飞；并非一个人有病就发烧；负判定由支判定和联结项（否定联结词）两部分构成；负判定的支判定称为原判定,支判定可以是个简洁判定,如例；也可以是个复合判定； 2. 负判定的规律形式可表示为：并非 P 其中“P” 是支判定,“ 并非” 是联结项；“ 并非” 也可以用符号“ ” 或“ ” 来表示；这样,负判定的符号式就是： P 或P 3. 真假情形：负判定是特别的复合判定；第一,它不象其他复合判定具有两个以上的支判定,而只有一个支判定；其
2、次,它的联结项是一个表示否定的规律概念,整个判定是对原判定的否定；所以,它与原判定之间是冲突关系；原判定真,负判定就假；原判定假,负判定就真；负判定的真假可用下面的真值表来表示：P P真 假假 真二、负判定的种类及其等值判定负判定分为简洁判定的负判定和复合判定的负判定；1. 简洁判定的负判定及其等值判定 简洁判定的负判定（负简洁判定）是指支判定为简洁判定的负判定；（1）单称判定的负判定及其等值判定 并非某个 S是 P . 某个 S不是 P 并非某个 S不是 P . 某个 S是 P（2）全称判定的负判定及其等值判定 有 S不是 P 并非全部 S是 P .并非全部 S不是 P . 有 S是 P .
3、SAP. SOP .SEP. SIP （3）特称判定的负判定及其等值判定名师归纳总结 并非有 S是 P .全部 S都不是 P第 1 页,共 4 页并非有 S不是 P .全部 S都是 P - - - - - - -精选学习资料 - - - - - - - - - 多练出技巧 巧思出硕果.SIP . SEP .SOP . SAP 2. 复合判定的负判定及其等值判定（1）联言判定的负判定（负联言判定）及其等值判定 负联言判定就是确定一个联言判定是假的；而确定联言判定假就是确定它的联言支至少 有一个是假的；所以,负联言判定等值于一个相容选言判定；用公式表示即：“ 并非（ P 并且 q）” 等值于“ 非
4、 P 或者非 q”或表示为：PqPq（2）选言判定的负判定 A. 相容选言判定的负判定（负相容选言判定）及其等值判定 负相容选言判定就是确定一个相容选言判定是假的；而确定一个相容选言判定假就是断 定它的选言支都是假的；所以,负相容选言判定等值于一个联言判定；用公式表示即：“ 并非（ P 或者 q）” 等值于“ 非 P 并且非 q”或者表示为：PqPqB. 不相容选言判定的负判定（负不相容选言判定）及其等值判定负不相容选言判定就是确定一个不相容选言判定是假的；而确定一个不相容选言判定假,就是确定其选言支同真或同假；所以,负不相容选言判定等值于一个多重选言判定（其选言 支是联言判定）；用公式表示即
5、：“ 并非（要么 P要么 q）” 等值于“ （P 并且 q）或者（非 P并且非 q）”PqPq Pq （3）假言判定的负判定 A. 充分条件假言判定的负判定（负充分条件假言判定）及其等值判定 负充分条件假言判定就是确定一个充分条件假言判定是假的；而确定一个充分条件假言 判定假就是确定它的前件真而后件假；所以,负充分条件假言判定等值于一个联言判定；用 公式表示即：“ 并非（假如 P,那么 q）” 等值于“P并且非 q”或表示为：P q P q B. 必要条件假言判定（负必要条件假言判定）及其等值判定 负必要条件假言判定就是确定一个必要条件假言判定为假；而确定必要条件假言判定假 就是确定它的前件假
6、而后件真；所以,负必要条件假言判定也等值于一个联言判定；用公式 表示即：“ 并非（只有 P,才 q）” 等值于“ 非 P 并且 q”或表示为：PqPqC.充分必要条件假言判定（负充分必要条件假言判定）及其等值判定 负充分必要条件假言判定就是确定一个充分必要条件假言判定假；而确定一个充分必要 条件假言判定假就是确定它的前后件不同真或者不同假,即确定它的前件真而后件假,或者名师归纳总结 - - - - - - -第 2 页,共 4 页精选学习资料 - - - - - - - - - 多练出技巧 巧思出硕果它的前件假而后件真；因此负充分必要条件假言判定等值于一个多重选言判定（其选言支为联言判定）；用
7、公式表示即：“ 并非（当且仅当 P,才 q）” 等值于“ （P并且非 q）或者（非 P 并且 q）”或表示为：P q P q P q 第六节 真值表的判定作用真值表最早是德国规律学家弗雷格1879 年提出来的；而真值表作为一种命题演算的判定方法,就是由美国的规律学家皮尔斯创始的；后来,波兰规律学家卢卡西维茨和美国规律学家波斯特在二值真值表基础上,分别提出了三值和多值的规律真值表；但是其基本意义没变：一个是定义作用；一个是判定作用；判定步骤：第一步：找出给定的复合判定中的支判定,列出它们的真值取值组合；其次步：依据复合判定的构成过程,由简到繁地列出各个组成部分,最终得出这个给定 形式本身；第三步
8、：依据初始真值表,写出每个组成部分的真假值,最终得出给定形式的真值；真值表的作用除了可以判定复合判定的规律真假值以外,仍可以判定两个复合判定是否 等值,也可以判定两个复合判定是否为冲突关系或反对关系；第七节 模态判定 一、什么是模态判定？非模态判定是确定事物情形存在的判定,但当人们进一步讨论事物情形时就会发觉：有 些事物情形的存在具有必定性,有些事物情形的存在只具有可能性；模态判定就是确定事物 情形的必定性或可能性的判定；如：罪犯可能畏罪潜逃；事物之间必定有联系；二、种类依据判定确定的是事物的可能性仍是必定性,可以把模态判定分为可能判定和必定判定；而可能判定和必定判定又可以分为确定判定和否定判
9、定；所以,这样的模态判定就有了四种；1必定确定判定（1）必定确定判定就是确定事物情形必定存在的判定；（2）语言形式结构：必定 p （3）符号形式结构： p 2必定否定判定（1）必定否定判定就是确定事物情形必定不存在的判定；名师归纳总结 （2）语言形式结构：必定非p 第 3 页,共 4 页- - - - - - -精选学习资料 - - - - - - - - - 多练出技巧 巧思出硕果（3）符号形式结构： p 3可能确定判定（1）可能确定判定就是确定事物情形可能存在的判定；（2）语言形式结构：可能 p （3）符号形式结构：p 4可能否定判定（1）可能否定判定就是确定事物情形可能不存在的判定；（2）语言形式结构：可能非 p （3）符号形式结构： p 三、模态判定之间的真假关系用规律方阵图,也有反对关系、下反对关系、差等关系和冲突关系四种；名师归纳总结 - - - - - - -第 4 页,共 4 页