《二不相容选言命题及其推理》由会员分享，可在线阅读，更多相关《二不相容选言命题及其推理（26页珍藏版）》请在金锄头文库上搜索。
1、复习相容选言命题的定义、联结词、形式、逻辑特性。（一真即真；全假才假。引申： 为真，选言肢至少有一真， 为假，选言肢全假。有效推理式和推理规则：否定肯定式：p q， p q德摩根律： (p q) (p q) (p q) (p q)2021/6/71习题1.填空：与“或者你出局，或者我出局”等值的负命题是 并非你我都不出局 。与“你不行，我也不行”等值的负命题是 并非或者你行，或者我行 。与“并非明后天都不去”等值的析取命题是 或者明天去，或者后天去 。与“并非你去或者我不去”等值的合取命题是 虽然你不去，但我去 。 2021/6/722.单项选择：与命题“这个被告既不是贪污犯，也不是盗窃犯。”
2、相矛盾的命题是（ d ） a. 这个被告不是贪污犯，或者不是盗窃犯。 b. 这个被告既是贪污犯，也是盗窃犯。 c. 这个被告是贪污犯，但不是盗窃犯。 d. 这个被告或是贪污犯，或是盗窃犯。 与“p q”等值的是（ c ） a. p q b. p q c. (p q） d. (p q) 2021/6/733.双项选择：下列推理无效的是（ ）和（ ）。p q，qp pqqpq，qrqpqp q，p qpp，q下列推理有效的是（ ）和（ ）。p q，qpp q p qp q，pqq ppqpqr， rq p q r，p q2021/6/74二、不相容选言命题及其推理v（一）不相容选言命题的逻辑特征v
3、1.定义v2.联结词和命题形式v3.逻辑特征：有且只有一真为真，其余为假。v引申：为真，选言肢有且只有一真，为假，选言肢有二个或二个以上为真，或者选言肢全假。pqp q1101010110002021/6/75严格析取定义律(p q) (p q) (p q) (p q) (p q) (p q) 否定严格析取律 (pq) (p q) (p q) (pq) (pq)2021/6/76（二）不相容选言推理1.否定肯定式（否肯式） pq， p q2.肯定否定式（肯否式） pq，p q推理规则：否定一部分肢，则可肯定另一部分肢。肯定一部分肢，则可否定另一部分肢。2021/6/77死里逃生 古代某国处决死
4、囚前，由抽签作最后的判决。法官在纸片上写“生”与“死”各一张，由死囚抽签，抽“生”则生，抽“死”则死。 一农夫受诬被处死，仇人作奸，把“生”纸偷出，换以“死”纸。友人告知农夫。 次日，农夫抽签后，即将纸片吞入腹中。法官只得由另一张“死”纸，将农夫赦免。 2021/6/78三肢严格析取的定义v1. （pq） (pq)(pq) v pqr v2. （pq） (pq)(pq) v pqr v 2021/6/79三肢严格析取的定义1. pqr (pqr)(pq)(qr)(pr) (p q r ) (pq r) (p q) (p r) ( qr) 2. pqr (pqr)(pqr)(pqr) 2021/
5、6/710转换vpqr v(Pqr)(pqr)(pq)(qr)(pr) v(pqr)(pq)(qr)(pr)2021/6/711哑谜中的推理v一人以实物做哑谜：竹竿一头挂玩具脸谱，一头挂一千文钱，以左右两物为谜面，打一句俗语，猜中者奖一千文钱。 v一文人拿起一千文钱就走，主人笑曰：他已猜中。2021/6/712要钱不要脸v要么要钱，要么要脸。要钱，所以，不要脸。vpq，p q2021/6/713三肢严格析取的推理v1.pqr，q v2.pqr，q 2021/6/714三肢严格析取的推理v1.pqr，q ( pr )v2.pqr，q p r2021/6/715A、B、C各任什么课vA、B、C各任
6、语文、数学和外语教师，只任一门。v1.A上课全部用汉语。v2.外语教师是一个学生的舅舅。v3.C是女教师，她的女儿考大学前，常向数学老师请教。v三人各任什么课？2021/6/716三人各任什么课vA：数学vB：外语vC：语文2021/6/717比赛在何处举行v五名运动员要去兰州等五个城市比赛，四名运动员说出了他们的希望：v乒乓运动员：希望比赛在郑州。v排球运动员：希望比赛不在锦州。v羽毛球运动员：希望比赛不在广州。v篮球运动员：希望比赛不在杭州或郑州。v上述运动员的希望都落空，而足球运动员没说希望，各项比赛在何处举行？2021/6/718 形式证明 pq, p q序列 真值形式 理由1 pq
7、前提 2 p 前提3 (pq)(pq) 1定义律4 pq 3分解式5 q 24否肯式 6 2021/6/719形式证明 pq, p q1 pq 前提 2 p 前提3 (pq)(pq) 1等值置换4 (pq) 3分解式5 p q 4德摩根律6 q 25否肯式 2021/6/720形式证明 pq, p q1 pq 前提 2 p 前提3 (pq)(pq) 1等值置换4 pq 2附加律5 (p q) 4德摩根律6 pq 35否肯式7 q 6分解式2021/6/721 形式证明 (pq) )rt), p,t,r q1. (pq) )rt) P2. p P3. t P4. r P 5. rt 43合成式6
8、. (rt) (rt) 5附加律7. (rt) 6等值置换8. pq 17否肯式9. q 28肯否式2021/6/722习题一、填空一、填空1.不相容选言命题的逻辑特性是不相容选言命题的逻辑特性是 。2.若若p取值为真，取值为真，q取值为假取值为假 ，则，则p q取值为取值为 ， p q取值为取值为 。3.当当“ p q”取值为真时，若取值为真时，若p取值为真，则取值为真，则q取值为取值为 。若。若q取值为假，则取值为假，则p取值为取值为 。4.命题命题“或者星期一出发，或者星期二出发，或者星期三出发，或者星期一出发，或者星期二出发，或者星期三出发，三者必居其一。三者必居其一。”的命题形式是的
9、命题形式是 。真值形式是。真值形式是 。5.命题命题“甲乙丙丁四人中有且只有一个人犯法。甲乙丙丁四人中有且只有一个人犯法。”的命题形式是的命题形式是 。真值形式是。真值形式是 。6.与命题与命题“要么东风压倒西风，要么西风压倒东风。要么东风压倒西风，要么西风压倒东风。”矛盾的析矛盾的析取命题是取命题是 。与之等值的析取命题是。与之等值的析取命题是 。与之。与之等值的合取命题是等值的合取命题是 。 2021/6/723习题二、单项选择题二、单项选择题1.若若“p q r”为真，则（为真，则（ ）。）。v p真真r真真q真真 p真真r假假q真真v p假假r真真q真真 p真真r假假q假假2.若若“
10、（ p q ）”为真，则（为真，则（ ）为真。）为真。v p q p qv p q p q3.与与“这个被告要么有罪，要么无罪。这个被告要么有罪，要么无罪。”矛盾的命题是（矛盾的命题是（ ）v这个被告或者有罪，或者无罪。这个被告或者有罪，或者无罪。 v这个被告有罪，不是无罪。这个被告有罪，不是无罪。v或者这个被告有罪且无罪，或者这个被告既无罪又有罪。或者这个被告有罪且无罪，或者这个被告既无罪又有罪。v这个被告无罪，不是有罪。这个被告无罪，不是有罪。4.与与“p q”等值的是（等值的是（ ）v p q (p q） (p q）v p q (p q） ( p q）2021/6/724习题5.与与“要
11、么是自杀，要么是他杀要么是自杀，要么是他杀”等值的命题是（等值的命题是（ ）是自杀，而不是他杀。是自杀，而不是他杀。 或者是自杀，或者是他杀。或者是自杀，或者是他杀。或者是自杀不是他杀，或者不是自杀是他杀。或者是自杀不是他杀，或者不是自杀是他杀。不是自杀，而是他杀。不是自杀，而是他杀。6.下列表示不相容选言推理的是（下列表示不相容选言推理的是（ ）。）。或者甲队得冠军，或者乙队得冠军，乙队得冠军，所以，或者甲队得冠军，或者乙队得冠军，乙队得冠军，所以，不是甲队得冠军。不是甲队得冠军。甲乙两队之中至少有一个冠军，乙队不是冠军，所以，甲乙两队之中至少有一个冠军，乙队不是冠军，所以，甲队得冠军。甲队得冠军。大会或者大会或者7号开幕，或者号开幕，或者8号开幕，或者是号开幕，或者是9号开幕。三号开幕。三者必居其一。大会是者必居其一。大会是7号开幕，所以，不是号开幕，所以，不是8号，也不是号，也不是9号。号。要么张三是罪犯，要么李四是罪犯，二人都不是，所以，要么张三是罪犯，要么李四是罪犯，二人都不是，所以，没有罪犯。没有罪犯。2021/6/725部分资料从网络收集整理而来，供大家参考，感谢您的关注！
