不相容选言命题及其推.pptVIP

复习相容选言命题的定义、联结词、形式、逻辑特性。（一真即真；全假才假。引申：∨为真，选言肢至少有一真，∨为假，选言肢全假。有效推理式和推理规则：否定肯定式：p∨q，?p┣q德摩根律：?(p∨q)?(?p∧?q)?(p∧q)?(?p∨?q)与“或者你出局，或者我出局”等值的负命题是并非你我都不出局。与“你不行，我也不行”等值的负命题是并非或者你行，或者我行。与“并非明后天都不去”等值的析取命题是12345与“并非你去或者我不去”等值的合取命题是虽然你不去，但我去。或者明天去，或者后天去。填空：习题2.单项选择：与命题“这个被告既不是贪污犯，也不是盗窃犯。”相矛盾的命题是（d）a.这个被告不是贪污犯，或者不是盗窃犯。b.这个被告既是贪污犯，也是盗窃犯。c.这个被告是贪污犯，但不是盗窃犯。d.这个被告或是贪污犯，或是盗窃犯。②与“p∨?q”等值的是（c）a.?p∧qb.?p∨qc.?(?p∧q）d.?(?p∨q)??p∨q，?q┣p⑵p∧q┣q?p∧?q，┣?q∨r⑷q∨p┣qp∨q，p┣?q⑹p∧?p，┣?q下列推理无效的是（）和（）。01p∨q，?q┣?p⑵p∧?q┣p∨q?p∨?q，p┣q⑷q∨p┣p∧qp∧q∧r，┣r∧qp∨q∨r，?p┣q下列推理有效的是（）和（）。023.双项选择：二、不相容选言命题及其推理不相容选言命题的逻辑特征定义联结词和命题形式逻辑特征：有且只有一真为真，其余为假。引申：?为真，选言肢有且只有一真，?为假，选言肢有二个或二个以上为真，或者选言肢全假。pqp?q11010101100001(p?q)?(p∧?q)∨(?p∧q)(p?q)?(p∨q)∧?(p∧q)严格析取定义律02否定严格析取律?(p?q)?(p∧q)∨(?p∧?q)?(p?q)?(p?q)否定肯定式（否肯式）p?q，?p┣q肯定否定式（肯否式）p?q，p┣?q推理规则：否定一部分肢，则可肯定另一部分肢。肯定一部分肢，则可否定另一部分肢。（二）不相容选言推理1古代某国处决死囚前，由抽签作最后的判决。法官在纸片上写“生”与“死”各一张，由死囚抽签，抽“生”则生，抽“死”则死。2一农夫受诬被处死，仇人作奸，把“生”纸偷出，换以“死”纸。友人告知农夫。3次日，农夫抽签后，即将纸片吞入腹中。法官只得由另一张“死”纸，将农夫赦免。死里逃生（p?q）?(p∨q)∧?(p∧q)01p?q?r?02（p?q）?(p∧?q)∨(?p∧q)03p?q?r?04三肢严格析取的定义(p∨q∨r)∧?(p∧q)∧?(q∧r)∧?(p∧r)?(p∨q∨r)∧?((p∧q∧r)∨(p∧q)∨(p∧r)∨(q∧r))p?q?r?01(p∧?q∧?r)∨(?p∧q∧?r)∨(?p∧?q∧r)p?q?r?02三肢严格析取的定义030201p?q?r?(P∨q∨r)∧?((p∧q∧r)∨(p∧q)∨(q∧r)∨(p∧r))?(p∨q∨r)∧?(p∧q)∧?(q∧r)∧?(p∧r)转换一人以实物做哑谜：竹竿一头挂玩具脸谱，一头挂一千文钱，以左右两物为谜面，打一句俗语，猜中者奖一千文钱。一文人拿起一千文钱就走，主人笑曰：他已猜中。哑谜中的推理01要么要钱，要么要脸。要钱，所以，不要脸。02p?q，p┣?q要钱不要脸p?q?r，q┣01p?q?r，q┣02三肢严格析取的推理p?q?r，q┣?p∧?rp?q?r，q┣?(p?r)三肢严格析取的推理A、B、C各任语文、数学和外语教师，只任一门。A