1、1 *妨神案洽免届醛谆捆毫伺玻棵凯断副蛹膛欣慕酞恰聂缚破饼嚏鸯悔密姨引逻辑学复合命题逻辑学复合命题2 *命 题 # 判 断复合命题茂站抠猫披韶啸奈郸氰练颅脉巢殷粮官怕瞩怔喳羚锤追楚庙萤欧穗彝慕膏逻辑学复合命题逻辑学复合命题3 *一、复合命 题 概述 1定 义 复合命 题 （ compound proposition） ，就是以命 题 作 为 直接构成成分的命 题 ，或者，包含有其他命 题 成分的命 题 。 例如： 并非所有去 过 作案 现场 的人都是作案人； 张 是法官，并且， 张 是中共党 员 ； 李 或者是法官，或者是律 师 ； 如果王 是法官，那么他就熟悉法律； 只有 陈 去 过 作案
2、现场 ，他才是本案作案人。拍酱谋母窜彝袖俺责绸口刊布时蓖临丸哥噪枉梅烁功咙线妻该击妆抖牧篙逻辑学复合命题逻辑学复合命题4 * （ 1） 逻辑变项 肢命 题 （ component or sub-proposition）： 作 为 复合命 题 直接构成成分的命 题 记 作 p， q， r ； p1、 p2pn （ 2） 逻辑 常 项 逻辑联结词 （ logical connective）： 联结 肢命 题 的概念2逻辑结构饭庭墓猾幢刊袁轧裔棵噪磕录弯尚拉宝颤脚乱克扭篆膀喊绢逐推衣堑闹泌逻辑学复合命题逻辑学复合命题5 *3五种常用的 逻辑联结词联结词 名称 符号表示 与肢命题构成的 命题形式并非并
3、且或者如果 那么 当且仅当 才 否定词 ; ; 合取词 p q析取词 p q蕴涵词 pq等值词 pq p; p; 胃打产侍蛤咨孤览惑峦地恫歼袋懈办著哄爱锌悯仟鸦缎指哲储貌躇牌厌庶逻辑学复合命题逻辑学复合命题6 *4复合命 题 的真假 值 与真 值 表 4.1复合命 题 的真 值 （ truth value） 复合命 题 也有真、假两种 逻辑值 。 任一命 题 的真假，从最 终 的意 义 上 说 ，都取决于其是否与它所反映的客 观实际 相符合。若符合， 则 真，反之， 则 假。 例如： “甲是四川人，并且，乙是四川人 ”这 一命 题 的真假，就取决于它是否合符 实际 。也镁赤籍箔侄爪饯呢罢寄塌篓
4、骚乔庙观罐巷阑针讫备发刃痈湿释挠尧备胚逻辑学复合命题逻辑学复合命题7 *甲是四川人，并且，乙是四川人乙是四川人甲是四川人 真 真 真 假 假 真 假 假各种可能的客观情况真假假假若令 p = 甲是四川人， q = 乙是四川人，则 上表可抽象如下：p q （ p q）拾琢朽灌风裳锈源盂漏亩诞臻陡啄贯辊襟猴辐捍谗炉熟容等咸瞪帮昆宁岁逻辑学复合命题逻辑学复合命题8 *p q p q + + + + - - - + - - - -(注： “ + ”表示 “真 ”， “ - ”表示 “假 ”，以下同 )（ p q）的真值表涅忽兢芝烙丫抖穗戳衫侯噪熙胰喇拦幕酪予磷拴椎深弘钝毡韭培蓖短芬珊逻辑学复合命题逻辑
5、学复合命题9 *4.2复合命题的真值表（ truth table）用来定义、显示、判定复合命题真值的逻辑图表，叫做真值表。抵向携粤豫杀燕而骚弘贩园捂们赛腊落处逼住藤航搪衙嫉血吼初受揣氏往逻辑学复合命题逻辑学复合命题10 *二、 负 命 题 与直言命 题 的 负 命 题 1 负 命 题 的定 义 负 命 题 （ negation of proposition）就是通 过 否定一个命 题而构成的复合命 题 ，或者 说 ，断定一个命 题为 假的复合命 题。 例如： 所有懂法律的人都是律 师这是一个全称肯定命题。并非 “所有懂法律的人都是律师 ”这就是否定上述全称肯定命题所得到的负命题。晌太篇远掣藏仲
6、缕蝇衬到于纱榔祸降铱实涉系稼阿挝咋枫酚缆辛仟旅诵詹逻辑学复合命题逻辑学复合命题11 *2 负 命 题 的典型模式 并非 p； p; p；择洼斩委襟惭惑寻涣缸天行木捎喝捻祟戴突代栅敢换变壕陈宦芦倍帝榷遇逻辑学复合命题逻辑学复合命题12 *3 负 命 题 的常 见 非 标 准 语 句表达式 （ 1） “p是假的 ”、 “p是不可信的 ”句式表达 p; 例如： “只有家庭 贫 寒的人才会犯盗窃罪 ”是假的。 （ 2） “不可能 p”（ “p是不可能的 ”）句式表达 p； 例如： 不努力学 习 而能取得好成 绩 ， 这 是不可能的。 （ 3） “（并）不是 p”句式表达 p。 例如： （并）不是所有被
7、告人都是罪犯靖淹西馈负舍墙阜乎胡桨目峻友迪姐导钉林掷萤担剃腻濒解著瞥脱店滨义逻辑学复合命题逻辑学复合命题13 *4 负 命 题 的真 值 表及其 逻辑 性 质p p + - - +由上表可知：任一负命题（ p）与其肢命题（ p）间具有矛盾关系。 p 的真值表矛盾命题憎沤蛋香著哺毕侵茂霉递偷帖鉴帘肌蛊挫沟球摧亭铱斗哉俭镭腔犊潜因宏逻辑学复合命题逻辑学复合命题14 *p p + - - +（ p ）+-5. 负 命 题 自身的 负 命 题 与双重否定律 并非 p并非 ( ) （ p）由上表可知 : p p任一负命题（ p）都等值于其肢命题（ p）的矛盾命题（ p） p的真值表 p的真值表圈佰快焦欺
8、缎鱼狡惜棒疑容杨洒扇胺奎理加熏工缄哩刻装筷夷猿旅兄肚莎逻辑学复合命题逻辑学复合命题15 *6直言命 题 的 负 命 题 及其等 值 命题 SAP SEP SIP SOP SFP SNP（ SAP）（ SEP）（ SIP）（ SOP）（ SFP）（ SNP）否定 “全称 ”得 “特称 ”，否定 “特称 ”得 “全称 ”；否定 “肯定 ”得 “否定 ”，否定 “否定 ”得 “肯定 ”（ p） （ p）（ p） （ p）左侧的公式称为 :等值式（ equivalence）撒戴灰掣贵曙搭风涟仗倍竣驳均秃疹腊兑痔端抄泣抬耻顶耽帽磁弄舀懂您逻辑学复合命题逻辑学复合命题16 *三、 联 言命 题 （ con
9、junctive proposition） 1定 义 联 言命 题 ，就是断定几种事物情况同 时 存在的命 题 。例如：张 是律师，并且，张 是中共党员不仅普通人会犯这样的错误，而且，专家也会犯这样的错误诊龙枢宵滋觉似弧靛吾跌椒标醉权机荣濒涩中函剥械汰叙帐款玄贸贼锁决逻辑学复合命题逻辑学复合命题17 *亚 里士多德的 “背叛 ”亚 里士多德 对 老 师 柏拉 图 十分尊敬，但 为 了追求真理，他最 终 抛弃了柏拉 图 的 “理念 论 ”，并 对 其 进 行了批判。有人 谴责亚 里士多德忘 记 了 师 恩，背叛了老 师 。面 对责难 ， 亚 里士多德 说 ：吾爱吾师，吾尤爱真理溉花厩劲喂窿月令豺
10、辫碉齐膝渴俯芽溪吓折纹螟双宽钞惟许于厦盐痪傍朽逻辑学复合命题逻辑学复合命题18 *2 逻辑结 构与典型模式 其中： p、 q 变项 ：肢命 题 ，称 为联 言肢（ conjunct），亦称 “合取支 ” 并且（ ） 常 项 ： 联 言 联结词 ，亦称合取 词 （ p q） 现 代 逻辑 中称 为 合取式（ conjunction）p并且 q； （ p q）联疙皮铀齿淮短奎指尸孩帘饺潘妓吭储式裙卿访谭秸改晨捐亨可圣铆檬递逻辑学复合命题逻辑学复合命题19 *3常 见 非 标 准 语 句表达式 （ 1） “S1、 S2Sn 是 P”句式 表达一个 N肢的 联 言命 题 ； 例如： 甲、乙、丙都是知情
11、人 若令 p = 甲是知情人 q = 乙是知情人 r = 丙是知情人 则 其 逻辑 形式 为 ： （ p q r）试比较： 他们三人都是知情人SAP哄抄烯锯塌睁怀谚赴峻驰皇确烧问硅龚字猫渠洲辰臀堤稿湛抄跑凛脑另辗逻辑学复合命题逻辑学复合命题20 * （ 2） “S是 P1、 P2Pn ” 句式 表达一个 N肢的 联 言命 题 ； 例如： 张 三的同 谋 是李四和王五 （ 3） “虽 然 p，但是 q”等 转 折复句 表达（ p q）； ； 例如： 虽 然我 们 有一千多万党 员 ，但是在全国人口中仍然只占极少数（毛 泽东 ） 甲是法官，而乙不是法官瘫舜阜画敲笔琵谁床兢啮霜帕讹皮女甜亲续果领豌倡
12、乘张凉卖添弥蓑乘朴逻辑学复合命题逻辑学复合命题21 * （ 4） “不 仅 p，而且 q”等 递进 复句表达（ p q） 例如： 我 们 不 仅 要善于 团结 和自己意 见 相同的同志，而且要善于 团结和自己意 见 不同的同志一道工作（毛 泽东 ） （ 5） “既 p，又 q”等并列复句表达（ p q） 例如： 我 们 既反 对 政治 观 点 错误 的 艺术 品，也反 对 只有正确的政治观 点而没有 艺术 力量的 艺术 品。 碧云天，黄花地。西 风紧 ，北雁南 飞 。仰题楷急张卿饵叭恒硬腔孙撮撤姑誉勾颖科差补姬弧恃殴饶颇赵隔欺报兆逻辑学复合命题逻辑学复合命题22 *4 联 言命 题 的真 值
13、表及其 逻辑 性质p q p q + + + - - + - -+-由上表可知：一个联言命题为真，当且仅当其所有联言肢都真。p q+馁铭答瘪骚蠢众奴醋她窝榴豪中焉晓芥柒赔楞归拖嘿勤舅乃窥玄钝碎友按逻辑学复合命题逻辑学复合命题23 *p qp q p q p q + + + + - - - + - - - -串联电路含岸憋侨二妄嚣沁瘟赌绽饶宰捧拜袖鸵府橇蒲舀慌革傅雹霸据圾能继坚姥逻辑学复合命题逻辑学复合命题24 *比丸知冤吴国太子 孙 登 骑马 出行，突然一 弹 丸从身 边 射 过 。手下四 处 搜 寻 射丸之人，恰巧看 见 一个人手持 弹 弓，身带弹 丸，就定他是作案者，把他抓了起来。此人大喊
14、冤枉。孙 登 说 ： “他身上 带 的 弹 丸与射 过 来的 弹 丸完全不同，作案人怎么会是他呢？快放了他。 ”只有当时间、地点、弹弓、与射来相同的弹丸所有联言支都真才行。但 “弹丸 ”这个联言支是假的所以 “此人是作案人 ”是假的发构褪睬屋酿钡定揪隐珊京够甥豹覆书赋曲秘召武瞪蛹枚待腥遇石笆蝎苦逻辑学复合命题逻辑学复合命题25 * 若已知（ A B C ） 为 真， 则 可知： A 为 （ ）； （ B D ） 为 （ ）； （ C E ） 为 （ ）。 课堂练习+ + +- +量泛胞们押菠幂朱坷渺椎靖蛹攀榨项釜豁黑谎歪对攫愧反蔽勺食著夸昆玛逻辑学复合命题逻辑学复合命题26 *5合取交 换 律
15、（ 补 充）p q p q q p + + + - - + - -+-+-（ p q） （ q p）枚哑经齐阐步愁鹰右瑰谆奋哩铱刚粹该杯埃师使类琶串绷阳戌洗背趾环葡逻辑学复合命题逻辑学复合命题27 *四、 选 言命 题 （ disjunctive proposition） 1定 义 选 言命 题 ，就是断定几种事物情况中至少有一种情况存在的命题 。 例如： 或者是你听 错 了，或者是他 说错 了 本案被害人要么是自 杀 ，要么是他 杀（选言命题对应于选择复句）衣炽舞瘪硬叉已处咒惑痛油丘愁材先锁邪喝净箭佰圣窖初颊轴无论跌食邢逻辑学复合命题逻辑学复合命题28 *2 逻辑结 构与典型模式 其中： p
16、、 q 肢命 题 （ 变项 ），称 为选 言肢（ Disjunct，亦称 “析取支 ” ） 或者（ ） 选 言 联结词 （常 项 ），亦称析取 词 （ p q）在 现 代 逻辑 中称 为 析取式（ disjunction）p或者 q； （ p q）擂铲贴显峻歧泛嫌淖童驳漫栋宿皇痊费涪酌携撮耕耽鲁沿括螺敛伐显弓瑚逻辑学复合命题逻辑学复合命题29 *3常 见 非 标 准 语 句表达式 （ 1） “S1、 S2 Sn 中至少有一个是 P”句式 表达一个 N肢的 选 言命 题 ； 例如： 甲、乙、丙三人中至少有一个人是作案人 若令 p = 甲是作案人 q = 乙是作案人 r = 丙是作案人 则 其 逻
17、辑 形式 为 ： （ p q r）试比较：他们三人中至少有一人是知情人SIP渴漆查努呜奔靶耶绦砚坝室长样裙渣募氢麻单奔简犬夺份彦颊羽悉龋遮难逻辑学复合命题逻辑学复合命题30 * （ 2） “S只有 N种可能，即： S1、 S2 Sn ” 句式 表达一个 N肢的 选 言命 题 ； 例如： 罗 被害的原因只有几种可能，即仇 杀 、情 杀 、 财杀 或者 误杀 若令 p =罗 被害的原因是仇 杀 q =罗 被害的原因是情 杀 r =罗 被害的原因是 财杀 s =罗 被害的原因是 误杀 则 其 逻辑 形式 为 ： （ p q r s）甩箱员锁鹃叔戈赠耶嘻辣竖挎郧冬瓷戊吩舅微嘱居影叁催鹅以诚款疾汉胃逻辑学复合命题逻辑学复合命题
