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