《逻辑复习课件.ppt》由会员分享，可在线阅读，更多相关《逻辑复习课件.ppt（26页珍藏版）》请在三一文库上搜索。
1、逻辑复习。,1,复习,充分条件假言命题的定义、联结词、形式、逻辑特性。（前真后假为假；其余为真。引申：前真后必真，后假前必假。） 有效推理式和推理规则： 1.肯定前件式（肯前式） pq， p q 2.肯定否定式（肯否式） pq， q p 推理规则： 1.肯定前件就要肯定后件，肯定后件不能肯定或否定前件； 2.否定后件就要否定前件，否定前件不能肯定或否定后件。,逻辑复习。,2,真值表方法,完全真值表方法 简化真值表方法（归謬赋值法） 前提 结论 1 0 0,逻辑复习。,3,习题,一、填空 若p取值为假，q取值为真 ，则pq取值为 1 ， pq取值为 0 。 若“pq”取值为假，则p取值为 1 ，
2、q取值为 0 。 命题“如果气温降至0度，那么水就要结冰。”的命题形式是 如果p，那么q 。真值形式是 pq 。 命题“并非如果买股票，就会发大财。”的命题形式是 并非如果p，那么q ， 真值形式是 （ pq） 。 5.充分条件假言推理的有效式是 pq， p q 和 pq， q p 。,逻辑复习。,4,6.充分条件假言推理的规则是 1.肯定前件就要肯定后件，肯定后件不能肯定或否定前件；2.否定后件就要否定前件，否定前件不能肯定或否定后件。 7.蕴涵定义律和否定蕴涵律的表达式是 pq pq和 (pq) pq。 8与命题“如果人没有自知之明，就要犯错误。”矛盾的合取命题是虽然人没有自知之明，但不犯
3、错误。 与之等值的析取命题是或者人有自知之明，或者要犯错误。,逻辑复习。,5,二、检验下列推理是否有效,p(qr), q(pr) (pq)r pqr, r pq qp, rs, (sq)t, t (pr) rs, qp, ps (qr),逻辑复习。,6,二、必要条件假言命题及其推理,（一）必要条件假言命题的逻辑特性 1.定义 2.联结词和命题形式 3.逻辑特性： 前假后真为假， 其余为真 引申： 前假后必假； 后真前必真。,逻辑复习。,7,逆蕴涵定义律和否定逆蕴涵律,逆蕴涵定义律： pq pq 否定逆蕴涵律： (pq) pq 蕴涵逆蕴涵交换律： pq qp pq,逻辑复习。,8,（二）必要条件
4、假言推理,1.否定前件式（否前式） pq， p q 2.肯定后件式（肯后式） pq， q p 推理规则： 1.否定前件就要否定后件，肯定前件不能肯定或否定后件； 2.肯定后件就要肯定前件，肯定前件不能肯定或否定后件。,逻辑复习。,9,蕴涵与逆蕴涵推理的转换,1.否定前件式（否前式） pq， p q qp， p q 2.肯定后件式（肯后式） pq， q p qp， q p,逻辑复习。,10,三、充分必要条件假言命题及其推理,（一）充分必要条件假言命题的逻辑特性 1.定义 2.联结词和命题形式 3.逻辑特性： 前后件同真同假为真， 其余为假。 引申： 前真后真，前假后假； 后真前真，后假前假。,逻
5、辑复习。,11,等值定义律和否定等值律,等值定义律： pq (p q) (p q) pq (p q) (p q) pq (p q) 否定等值律 (pq) (p q) (p q) （pq） p q,逻辑复习。,12,（二）充分必要条件假言推理,1.肯定前件式（肯前式） pq， p q 2.否定后件式（否后式） pq， q p 3.否定前件式（否前式） pq， p q 4.肯定后件式（肯后式） pq， q p 推理规则： 肯前就要肯后，否前就要否后； 肯后就要肯前，否后就要否前。,逻辑复习。,13,等值命题与矛盾命题,(pq) (pq) (pq) (pq) (pq)(pq) (pq) (pq) (
6、pq) (pq) (pq)(pq),逻辑复习。,14,真值表的解题作用,已知下列三命题中： A：如果甲队是冠军，那么乙队是亚军。 B：如果乙队是亚军，那么甲队是冠军。 C：甲队不是冠军。 请问： 1.上述三命题中，只有一真，那一个为真？甲队是不是冠军？乙队是不是亚军？ 2.上述三命题中，只有一假，那一个为假？甲队是不是冠军？乙队是不是亚军？ 3.上述三命题中全真，甲队是不是冠军？乙队是不是亚军？,逻辑复习。,15,真值表的解题作用,逻辑复习。,16,请用真值表方法解题：当A、B、C同时为真时，甲、乙是否为南方人？,A：甲乙二人中至少有一人不是南方人。 B：甲是南方人而乙不是南方人。 C：要么甲
7、是南方人，要么乙是南方人。 答：当A、B、C同时为真时，甲是南方人，乙不是南方人,逻辑复习。,17,对甲、乙棋手的下棋步骤，有如下的猜测：,A：如果甲跳马，那么乙出车。 B：要么甲不跳马，要么乙不出车。 C：只有乙出车，甲才不跳马。 D：甲不跳马，但乙出车。 事实证实上述四种猜测只有二种正确，且这二种之间具有蕴涵关系。请据表回答： 与的猜测正确。 二种正确的猜测中。蕴涵。 甲是否跳马？ 乙是否出车？,逻辑复习。,18,答案,B与C的猜测正确。 二种正确的猜测中，B蕴涵C。 甲跳马。 乙不出车。,逻辑复习。,19,列出下列A、B、C、D四命题的真值表： A：“甲、乙两人中至少有一人不是运动员”
8、这说法不对。 B：要么甲不是运动员，要么乙是运动员。 C：如果甲是运动员，则乙不是运动员。 D：只有乙不是运动员，甲才是运动员。 A与B具有 关系。 C与D具有 关系。 A与C具有 关系。 A与D具有 关系。,逻辑复习。,20,答案,A与B具有蕴涵关系。 C与D具有等值关系。 A与C具有矛盾关系。 A与D具有矛盾关系。,逻辑复习。,21,用真值表方法回答： 在什么情况下，丁的话能成立？ 甲：小陈是木工并且小李不是电工。 乙：小陈不是木工或者小李不是电工。 丙：如果小陈是木工，那么小李不是电工。 丁：你们三人说的都不对。 答：在小陈是木工并且小李是电工的情况下，丁的话能成立。,逻辑复习。,22,
9、真值表解题 P/283页第七题 甲 乙 丙 丁,逻辑复习。,23,习题,1.填空： 必要条件假言命题的逻辑特性是 。 若p取值为假，q取值为真 ，则pq取值为 ， pq取值为 。 若“pq”取值为假，则p取值为 ，取q值为 。 .命题“除非年满十八，且有相关证明，才能报名。”的命题形式是 。真值形式是 。 必要条件假言推理的有效式是 和 。 必要条件假言推理的规则是 。 蕴涵逆蕴涵交换律的表达式是 和 。 与命题“只有什么事也不干的人，才不会犯错误。”矛盾的合取命题是 。与之等值的析取命题是 。与之等值的蕴涵命题是 。,逻辑复习。,24,充要条件假言命题的逻辑特性是 。 若p取值为假，q取值为
10、真 ，则pq取值为 ， pq取值为 。 当“pq”取值为真时，若p取值为真，则q取值为 。若p取值为假，则q取值为 。 充要条件假言推理的有效式是 、 、 和 。 充要条件假言推理的规则是 。 等值定义律的表达式是 和 。 否定等值律的表达式是 。 与命题“当且仅当二人以上共同故意犯罪，则构成共同犯罪。”矛盾的严格析取命题是 。与之矛盾的析取命题是 。与之等值的析取命题是 。与之等值的合取命题是 。,逻辑复习。,25,2.单项选择,与“只有具有社会危害性的行为，才是犯罪行为。”矛盾的命题是（ ） 或者具有社会危害性的行为，或者不是犯罪行为。 虽然不具有社会危害性的行为，也是犯罪行为。 如果具有
11、社会危害性的行为，就是犯罪行为。 要么具有社会危害性的行为，要么是犯罪行为。 2.与“除非努力学习，才能取得好成绩。”等值的命题是（ ） 虽然努力学习，但不能取得好成绩。 或者不努力学习，或者取得好成绩。 或者努力学习，或者不取得好成绩。 如果努力学习，就能取得好成绩。,逻辑复习。,26,3.若“p q”为假，则（ ）为真。 p q p q p q (p q）(p q） 4.若“p q ”为真，则（ ）为真。 p q p q p q p q 5.与“当且仅当你有这种资格，你才能从事这种职业。”矛盾的命题是（ ） 虽然你有这种资格，但你也不能从事这种职业。 虽然你没有这种资格，但你也能从事这种职业。 如果你有这种资格，你就能从事这种职业。并且只有你有这种资格，你才能从事这种职业。 要么你有这种资格，要么你能从事这种职业。,