离散数学课后习题答案 (左孝凌版)

上传人:ra****d 文档编号:70533367 上传时间:2022-04-06 格式:DOC 页数:32 大小:77.50KB
返回 下载 相关 举报
离散数学课后习题答案 (左孝凌版)_第1页
第1页 / 共32页
离散数学课后习题答案 (左孝凌版)_第2页
第2页 / 共32页
离散数学课后习题答案 (左孝凌版)_第3页
第3页 / 共32页
点击查看更多>>
资源描述
1解:a)是命题,真值为T。b)不是命题。c)是命题,真值要根据具体情况确定。d)不是命题。e)是命题,真值为T。f)是命题,真值为T。g)是命题,真值为F。h)不是命题。i)不是命题。2解:原子命题:我爱北京天安门。复合命题:如果不是练健美操,我就出外旅游拉。3解:a)(P R)Qb)QRc)P d)PQ4解:a)设Q:我将去参加舞会。R:我有时间。P:天下雨。Q? (RP):我将去参加舞会当且仅当我有时间和天不下雨。b)设R:我在看电视。Q:我在吃苹果。RQ:我在看电视边吃苹果。c) 设Q:一个数是奇数。R:一个数不能被2除。QR(RQ):一个数是奇数,那么它不能被2整除并且一个数不能被2整除,那么它是奇数。(5) 解:a)设P:王强身体很好。Q:王强成绩很好。PQ b)设P:小李看书。Q:小李听音乐。PQc)设P:气候很好。Q:气候很热。PQd)设P: a和b是偶数。Q:a+b是偶数。PQe)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P?Qf)设P:语法错误。Q:程序错误。R:停机。P Q R(6) 解:a)P:天气炎热。Q:正在下雨。 PQb)P:天气炎热。R:湿度较低。 PRc)R:天正在下雨。S:湿度很高。 RSd)A:刘英上山。B:李进上山。 ABe)M:老王是革新者。N:小李是革新者。 MNf)L:你看电影。M:我看电影。 LMg)P:我不看电视。Q:我不外出。 R:我在睡觉。 PQRh)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。PQ习题解答1解:a)不是合式公式,没有规定运算符次序假设规定运算符次序后亦可作为合式公式b)是合式公式c)不是合式公式括弧不配对d)不是合式公式R和S之间缺少联结词e)是合式公式。 2解: aA是合式公式,(AB)是合式公式,(A(AB) 是合式公式。这个过程可以简记为:A;(AB);(A(AB) 同理可记bA;A ;(AB) ;(AB)A)cA;A ;B;(AB) ;(BA) ;(AB)(BA)dA;B;(AB) ;(BA) ;(AB)(BA)3解:a(AC)(BC)A)(BC)A)(AC)b(BA)(AB)。4解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (PP)代换Q. d) 是由a) 式进行代换得到,在a) 中用 P(QP)代换Q. e) 是由b) 式进行代换得到,用R代换P, S代换Q, Q代换R, P代换S.5解:a) P: 你没有给我写信。 R: 信在途中丧失了。 P Qb) P: 张三不去。Q: 李四不去。R: 他就去。 (PQ)Rc) P: 我们能划船。 Q: 我们能跑步。 (PQ)d) P: 你来了。Q: 他唱歌。R: 你伴奏。 P(Q?R)6解:P:它占据空间。 Q:它有质量。 R:它不断变化。 S:它是物质。这个人起初主张:(PQR) ? S后来主张:(PQ?S)(SR)这个人开头主张与后来主张的不同点在于:后来认为有PQ必同时有R,开头时没有这样的主张。7解:a) P: 上午下雨。 Q:我去看电影。 R:我在家里读书。 S:我在家里看报。(PQ)(P(RS)b) P: 我今天进城。Q:天下雨。QPc) P: 你走了。 Q:我留下。QP 4解:a) P Q R QR P(QR) PQ (PQ)R T T T T T F T F T T F F F T T F T F F F T F F F T F F F T F F F T F F F F F F F T T F F F F F F T F F F F F F F所以,P(QR) ? (PQ)Rb) P Q R QR P(QR) PQ (PQ)R T T T T T F T F T T F F F T T F T F F F T F F F所以,P(QR) ? (PQ)R 所以,P(QR) ? (PQ)(PR) P Q P Q PQ (PQ) PQ (PQ) T T T F F T F F F F T T F T F T F T T T F T T T F F F T F F F T所以,(PQ) ?PQ, (PQ) ?PQ5解:如表,对问好所填的地方,可得公式F1F6,可表达为 P Q R F1 F2 F3 F4 F5 F6 T T T T F T T F F T T F F F T F F F T F T T F F T T F T F F F T F T T F F T T T F F T T F F T F T F F F T F F F T T F T T T F F F F F T F T T TF1:(QP)R F2:(PQR)(PQR)F3:(PQ)(QR)F4:(PQR)(PQR)F5:(PQR)(PQR)F6:(PQR)(6) P Q 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 F F F T F T F T F T F T F T F T F T F T F F T T F F T T F F T T F F T T T F F F F F T T T T F F F F T T T T T T F F F F F F F F T T T T T T T T解:由上表可得有关公式为1.F 2.(PQ) 3.(QP) 4.P 5.(PQ) 6.Q 7.(P?Q) 8.(PQ) 9.PQ 10.P?Q 11.Q 12.PQ 13.P 14.QP 15.PQ 16.T(7) 证明:a)A(BA)? A(BA) ? A(AB)? A(AB) ?A(AB)b)(A?B) ?(AB)(AB) ?(AB)(AB)?(AB)(AB) 或 (A?B) ?(AB)(BA)?(AB)(BA)?(AB)(AA)(BB)(BA)?(AB)(BA)?(AB)(AB) ?(AB)(AB)c)(AB) ? (AB) ?AB d)(A?B)?(AB)(BA)?(AB)(BA)?(AB)(AB)e)(ABC)D)(C(ABD) ?(ABC)D)(C(ABD) ?(ABC)D)(ABC)D)? (ABC)(ABC)D ?(ABC)(ABC)D ? (AB)(AB)C)D ? (C(A?B)D)f)A(BC) ? A(BC) ? (AB)C ?(AB)C ? (AB)C g)(AD)(BD)?(AD)(BD) ?(AB)D ? (AB)D? (AB)Dh)(AB)C)(B(DC) ?(AB)C)(B(DC)? (AB)(BD)C?(AB) (DB)C?(AB)(DB)C? (AD)B)C? (B(DA)C8解:a)(AB) ? (BA)C? (AB) ? (BA)C? (AB) ? (AB)C?TC ?Cb)A(A(BB) ? (AA)(BB) ?TF ?Tc)(ABC)(ABC) ? (AA) (BC)?T(BC)?BC9解:1设C为T,A为T,B为F,那么满足AC?BC,但A?B不成立。 2设C为F,A为T,B为F,那么满足AC?BC,但A?B不成立。 3由题意知A和B的真值相同,所以A和B的真值也相同。 习题 1-51证明:a)(P(PQ)Q? (P(PQ)Q ?(PP)(PQ)Q ?(PQ)Q?(PQ)Q ?PQQ ?PT?Tb)P(PQ) ?P(PQ)? (PP)Q ?TQ?Tc)(PQ)(QR)(PR)因为(PQ)(QR)?(PR)所以 (PQ)(QR)为重言式。d)(ab)(bc) (ca)?(ab)(bc)(ca)因为(ab)(bc)(ca)?(ac)b)(ca)?(ac)(ca)(b(ca)?(ac)(bc)(ba)所以(ab)(bc) (ca)?(ab)(bc)(ca) 为重言式。2证明:a)(PQ)?P(PQ) 解法1:设PQ为T 1假设P为T,那么Q为T,所以PQ为T,故P(PQ)为T2假设P为F,那么Q为F,所以PQ为F,P(PQ)为T命题得证解法2:设P(PQ)为F ,那么P为T,(PQ)为F ,故必有P为T,Q为F ,所以PQ为F。解法3:(PQ) (P(PQ)?(PQ)(P(PQ)?(PQ)(PP)(PQ)?T所以(PQ)?P(PQ)b)(PQ)Q?PQ设PQ为F,那么P为F,且Q为F,故PQ为T,(PQ)Q为F,所以(PQ)Q?PQ。c)(Q(PP)(R(R(PP)?RQ设RQ为F,那么R为T,且Q为F,又PP为F所以Q(PP)为T,R(PP)为F所以R(R(PP)为F,所以(Q(PP)(R(R(PP)为F即(Q(PP)(R(R(PP)?RQ成立。3解:a) PQ表示命题“如果8是偶数,那么糖果是甜的。b)a)的逆换式QP表示命题“如果糖果是甜的,那么8是偶数。c)a)的反换式PQ表示命题“如果8不是偶数,那么糖果不是甜的。d)a)的逆反式QP表示命题“如果糖果不是甜的,那么8不是偶数。4解:a)如果天下雨,我不去。设P:天下雨。Q:我不去。PQ 逆换式QP表示命题:如果我不去,那么天下雨。逆反式QP表示命题:如果我去,那么天不下雨b)仅当你走我将留下。设S:你走了。R:我将留下。RS逆换式SR表示命题:如果你走了那么我将留下。逆反式SR表示命题:如果你不走,那么我不留下。c)如果我不能获得更多帮助,我不能完成个任务。设E:我不能获得更多帮助。H:我不能完成这个任务。EH逆换式HE表示命题:我不能完成这个任务,那么我不能获得更多帮助。逆反式HE表示命题:我完成这个任务,那么我能获得更多帮助5试证明P?Q,Q逻辑蕴含P。证明:解法1:此题要求证明(P?Q) Q?P, 设(P?Q) Q为T,那么(P?Q)为T,Q为T,故由?的定义,必有P为T。所以(P?Q) Q?P解法2:由体题可知,即证(P?Q)Q)P是永真式。 (P?Q)Q)P ? (PQ) (PQ) Q)P? (PQ) (PQ) Q) P ? (PQ) (PQ) Q) P? (QPQ) (QPQ) P ? (QP) T) P?QPP?QT ?T6解:P:我学习 Q:我数学不及格 R:我热衷于玩扑克。如果我学习,那么我数学不会不及格: PQ如果我不热衷于玩扑克,那么我将学习: RP 但我数学不及格: Q因此我热衷于玩扑克。 R即此题符号化为:(PQ)(RP)Q?R证:证法1:(PQ)(RP)Q)R ? (PQ)(RP)Q) R? (PQ)(RP)QR ? (QP)(QQ)(RR)(RP)? QPRP? T所以,论证有效。证法2:设(PQ)(RP)Q为T,那么因Q为T,(PQ) 为T,可得P为F,由(RP)为T,得到R为T。故此题论证有效。7解:P:6是偶数 Q:7被2除尽 R:5是素数如果6是偶数,那么7被2除不尽 PQ或5不是素数,或7被2除尽 RQ5是素数 R所以6是奇数 P即此题符号化为:PQRQR ?P证:证法1:(PQ)(RQ)R)P? (PQ) (RQ) R) P? (PQ) (RQ) R) P ? (PP) (PQ) (RR) (RQ)? (PQ) (RQ)?T所以,论证有效,但实际上他不符合实际意义。证法2:(PQ)(RQ)R为T,那么有R为T,且RQ 为T,故Q为T,再由PQ为T,得到P为T。8证明:a)P?(PQ) 设P为T,那么P为F,故PQ为Tb)ABC?C假定ABC为T,那么C为T。c)C?ABB因为ABB为永真,所以C?ABB成立。d)(AB) ?AB 设(AB)为T,那么AB为F。假设A为T,B为F,那么A为F,B为T,故AB为T。假设A为F,B为T,那么A为T,B为F,故AB为T。假设A为F,B为F,那么A为T,B为T,故AB为T。命题得证。e)A(BC),DE,(DE)A?BC设A(BC),DE,(DE)A为T,那么DE为T,(DE)A为T,所以A为T又A(BC)为T,所以BC为T。命题得证。f)(AB)C,D,CD?AB设(AB)C,D,CD为T,那么D为T,CD为T,所以C为F又(AB)C为T,所以AB为F,所以AB为T。命题得证。9解:a)如果他有勇气,他将得胜。P:他有勇气 Q:他将得胜 原命题:PQ 逆反式:QP 表示:如果他失败了,说明他没勇气。b)仅当他不累他将得胜。P:他不累 Q:他得胜 原命题:QP 逆反式:PQ 表示:如果他累,他将失败。习题 1-6(1)解:a)(PQ)P?(PP)Q?(TQ)b)(P(QR) PQ? (P(QR)PQ?(PPQ)(QPQ)(RPQ) ?(PQ)(PQ)(PRQ)?PQ?(PQ) c)PQ(RP)?PQ(RP) ?(PQR)(PQP)?(PQR)F?PQR?(PQR)(2) 解:a)P? PPb)PQ?(PQ) ? (PQ)(PQ)c)PQ?PQ? (PP)(QQ)(3)解:P(PQ) ?P(PQ)?T?PP ? (PP)(PP)?P(PP) P(PQ) ?P(PQ)?T?PP ?(PP)?(PP)P)?(PP)P)(PP)P)(4)解: PQ?(PQ)?(PP)(QQ)? (PP)(QQ)(PP)(QQ)(5)证明:(BC)?(BC) ? BC(BC)?(BC)?BC(6)解:联结词“和“不满足结合律。举例如下:a)给出一组指派:P为T,Q为F,R为F,那么(PQ)R为T,P(QR)为F故 (PQ)R P(QR).b)给出一组指派:P为T,Q为F,R为F,那么(PQ) R为T,P(QR)为F故(PQ)R P(QR).(7)证明:设变元P,Q,用连结词?,作用于P,Q得到:P,Q,P,Q,P?Q,P?P,Q?Q,Q?P。但P?Q?Q?P,P?P?Q?Q,故实际有:P,Q,P,Q,P?Q,P?PT A用作用于A类,得到扩大的公式类包括原公式类:P,Q,P,Q,P?Q, T,F, P?Q B用?作用于A类,得到:P?Q,P?P?F,P?Q?P?Q,P?P?Q?Q,P?P?P?P,Q?P?P?Q,Q?Q?F,Q?P?Q?P,Q?T?Q, P?Q?P?Q,P?P?Q?Q,P?T?P, Q?P?Q?P,Q?T?Q,P?Q?P?Q?P?Q.因此,A类使用运算后,仍在B类中。对B类使用运算得:P,Q,P,Q, P?Q, F,T,P?Q, 仍在B类中。对B类使用?运算得:P?Q,P?P?F,P?Q?P?Q,P?P?Q?Q,P?T?P,P?F?P,P?P?Q?Q, Q?P?P?Q,Q?Q?F,Q?P?Q?P,Q?T?Q, Q?F?Q, Q?P?Q?P, P?Q?P?Q,P?P?Q?Q,P?T?P, P?F?P,P?P?Q?Q, Q?P?Q?P,Q?T?Q, Q?T?Q,Q?P?Q?P,P?Q?T?P?Q,P?Q?F?P?Q,P?Q?P?Q?FT?F?F,T?P?Q? P?QF?P?Q? P?QP?Q?P?Q?P?Q.故由B类使用?运算后,结果仍在B中。由上证明:用?,两个连结词,反复作用在两个变元的公式中,结果只能产生B类中的公式,总共仅八个不同的公式,故?,不是功能完备的,更不能是最小联结词组。已证?,不是最小联结词组,又因为P Q? P?Q,故任何命题公式中的联结词,如仅用 , 表达,那么必可用?,表达,其逆亦真。故 , 也必不是最小联结词组。(8)证明,和不是最小联结词组。证明:假设,和是最小联结词,那么 P?PP P?PP P?P(P(P)对所有命题变元指派T,那么等价式左边为F,右边为T,与等价表达式矛盾。所以,和不是最小联结词。(9)证明,和, 是最小联结词组。证明:因为,为最小联结词组,且PQ?PQ所以,是功能完备的联结词组,又,都不是功能完备的联结词组。所以,是最小联结词组。又因为PQ?(P Q),所以, 是功能完备的联结词组,又, 不是功能完备的联结词组,所以, 是最小联结词组。习题 1-7(1) 解:P(PQ) ?P(PQ) ? (PP)(PQ) P(PQ)? (P(QQ)(PQ)? (PQ)(PQ)(PQ)(2) 解:a)(PQ)R ?(PQ)R ? PQR ?(PQ)(PQ) (QR)(QR)(RP)(RP) b)P(QR)S)?P(QR)S) ?PQRS ?(PQ)(PQ) (QR)(QR)(RS)(RS)(SP)(SP) c)(PQ)(ST)?(PQ)(ST)?(PQS)(PQT)d)(PQ)R?(PQ)R?(PQ)R ?(PR)(QR) e)(PQ)(PQ)?(PQ)(PQ)?(PP)(PQ)(QP)(QQ)? (PQ)(QP)(3) 解:a)P(PQR) ?(PP)(PQ)(PR) ?(PQ)(PR) b)(PQ)(PQ)?(PQ)(PQ)?(PQ)(PQ) ?(PPQ)(QPQ) c)(PQ)?(PQ)? PQ?(PQ)(PQ)(QP)d)(PQ)R?(PQ)R? (PQ)R? (PR)(QR)e)(PQ)(PQ)?(PP)(PQ)(QP)(QQ)?(PQ)(QP)(4) 解:a)(PQ)(P?Q)?(PQ) (P?Q)? (PQ) (PQ)(PQ) ?1,2,3?PQ=?0b)Q(PQ)? (PQ)(QQ)? PQ =?3?0,1,2 ?(PQ)(PQ) (PQ)c)P(P(Q(QR)?P(P(Q(QR) ?PQR=?0?1,2,3,4,5,6,7=(PQR) (PQR) (PQR) (PQR) (PQR) (PQR) (PQR)d)(P(QR) )(P(QR) ? (P(QR) (P(QR)? (PP) (P(QR) (QR) P) (QR) (QR)? (PQR) (PQR) =?0,7?1,2,3,4,5,6? (PQR) (PQR) (PQR) (PQR) (PQR) (PQR)e)P(P(QP) ?P(P(QP)?(PP)(PQP) ?T(TQ) ?T?0,1,2,3= (PQ) (PQ) (PQ) (PQ)f)(QP) (PQ) ? (QP) PQ? (QP) (PQ) ?F?0,1,2,3= (PQ) (PQ) (PQ) (PQ)(5) 证明:a)(AB) (AC) ? (AB) (AC)A(BC) ?A(BC) ? (AB) (AC)b)(AB) (AB)?(AB) (AB)? (AB) (AB)?A(BB)?AT?A(AB) (BA)? (AB) (BA)?A(BB) ?AF?Ac) AB(AB)? (AA)(AB)B ?ABB ?FAB(AB)? (AA)(AB)B?ABB?Fd) A(A(AB)?AA(AB)?TAB(AB)?(AB) (AB)?T (6)解:A?R(Q(RP),那么A*? R(Q(RP)A?R(Q(RP)?(R(Q(RP) ?RQ(RP)?(RQ) (RP)A*?R(Q(RP)?(R(Q(RP) ?RQ(RP)?(RQ) (RP)(7) 解:设A:A去出差。B:B去出差。C:C去出差。D:D去出差。假设A去那么C和D中要去一个。 A(C D)B和C不能都去。 (BC)C去那么D要留下。 CD按题意应有:A(C D),(BC),CD必须同时成立。因为C D ? (CD) (DC)故(A(C D)(BC) (CD) ? (A(CD) (DC) (BC) (CD)? (A(CD) (DC) (BC) (CD)? (A(CD) (DC) (BC) (BD) (CD) C)? (ABC) (ABD) (ACD) (AC) (BCD) (CDBD) (CDCD) (CDC) (DCBC) (DCBD) (DCCD) (DCC)在上述的析取范式中,有些画线的不符合题意,舍弃,得(AC) (BCD) CD(DCB)故分派的方法为:BD ,或 DA,或 CA。(8) 解:设P:A是第一。Q:B是第二。R:C是第二。S:D是第四。E:A是第二。 由题意得 (P Q) (R S) (E S) ? (PQ) (PQ) (RS) (RS) (ES) (ES) ? (PQRS) (PQRS) (PQRS) (PQRS)(ES)(ES) 因为 (PQRS)与(PQRS)不合题意,所以原式可化为 (PQRS) (PQRS)(ES) (ES)? (PQRSES) (PQRSES) (PQRSES)(PQRSES)? (PQRSE) (PQRSE)因R与E矛盾,故PQRSE为真,即A不是第一,B是第二,C不是第二,D为第四,A不是第二。于是得: A是第三 B是第二 C是第一 D是第四。习题1-8(1)证明:a)(PQ),QR,R?P(1) R P(2) QR P (3) Q (1)(2)T,I (4) (PQ) P(5) PQ (4)T,E(6) P (3)(5)T,Ib)J(MN),(HG)J,HG?MN(1) (HG) J P(2) (HG) P(3) J (1)(2)T,I(4) J(MN) P(5) MN (3)(4)T,Ic)BC,(B?C)(HG)?GH(1) BC P (2) B (1)T,I (3) C (1)T,I (4) BC (2)T,I(5) CB (3)T,I(6) CB (4)T,E(7) BC (5)T,E(8) B?C (6)(7)T,E(9) (B?C) (HG) P (10) HG (8)(9)T,Id)PQ,(QR)R,(PS)?S(1) (QR) R (2) QR (1)T,I(3) R (1)T,I(4) Q (2)(3)T,I(5) PQ P(6) P (4)(5)T,I(7) (PS) P(8) PS (7)T,E(9) S (6)(8)T,I(2) 证明:a)AB,CB?AC(1) (AC) P (2) A (1)T,I(3) C (1)T,I(4) AB P(5) B (2)(4)T,I(6) CB P(7) B (3)(6)T,I(8) BB 矛盾。(5),(7)b)A(BC),(CD)E,F(DE)?A(BF)(1) (A(BF) P(2) A (1)T,I(3) (BF) (1)T,I(4) B (3)T,I(5) F (3)T,(6) A(BC) P(7) BC (2)(6)T,I(8) C (4)(7)T,I(9) F(DE) P (10) DE (5)(9)T,I(11) D (10)T,I(12) CD (8)(11)T,I (13) (CD) E P(14) E (12)(13)T,I(15) E (10)T,I(16) EE 矛盾。(14),(15)c)ABCD,DEF?AF(1) (AF) P(2) A (1)T,I(3) F (1)T,I(4) AB (2)T,I(5) (AB) CD P(6) CD (4)(5)T,I(7) C (6)T,I(8) D (6)T,I(9) DE (8)T,I(10) DEF P(11) F (9)(10)T,I(12) FF 矛盾。(3),(11)d)A(BC),BD,(EF)D,B(AE)?BE(1) (BE) P(2) B (1)T,I(3) E (1)T,I(4) BD P(5) D (2)(4)T,I(6) (EF) D P (7) (EF) (5)(6)T,I(8) E (7)T,I(9) EE 矛盾e)(AB)(CD),(BE)(DF),(EF),AC?A(1) (AB) (CD) P(2) AB (1)T,I(3) (BE) (DF) P(4) BE (3)T,I(5) AE (2)(4)T,I(6) (EF) P(7) EF (6)T,E(8) EF (7)T,E(9) AF (5)(8)T,I(10) CD (1)T,I(11) DF (3)T,I(12) CF (10)(10)T,I(13) AC P(14) AF (13)(12)T,I(15) FA (14)T,E(16) AA (9)(15)T,I(17) AA (16)T,E(18) A (17) T,E(3)证明:a)AB,CB?AC(1) A P(2) AB P(3) B (1)(2)T,I(4) CB P(5) C (3)(4)T,I(6) AC CPb)A(BC),(CD)E,F(DE)?A(BF)(1) A P (2) A(BC) P (3) BC (1)(2)T,I(4) B P (5) C (3)(4)T,I(6) (CD) E P (7) C(DE) (6)T,E(8) DE (5)(7)T,I(9) DE (8)T,E(10) (DE) (9)T,E(11) F(DE) P(12) F (10)(11)T,I(13) BF CP(14) A(BF) CPc)ABCD,DEF?AF(1) A P(2) AB (1)T,I(3) ABCD P(4) CD (2)(3)T,I(5) D (4)T,I(6) DE (5)T,I(7) DEF P(8) F (6)(7)T,I(9) AF CPd)A(BC),BD,(EF)D,B(AE)?BE(1) B P(附加前提)(2) BD P(3) D (1)(2)T,I(4) (EF)D P(5) (EF) (3)(4)T,I(6) E (5)T,I(7) BE CP(4)证明:a)RQ,RS,SQ,PQ?P(1) RQ P(2) RS P(3) SQ P(4) Q (1)(2)(3)T,I(5) PQ P(6) P (4)(5)T,Ib)SQ,SR,R,P?Q?P证法一:(1) SR P (2) R P(3) S (1)(2)T,I (4) SQ P (5) Q (3)(4)T,I (6) P?Q P(7)(PQ)(QP) (6)T,E(8) PQ (7)T,I (9) P (5)(8)T,I 证法二:反证法(1) P P附加前提(2) P?Q P(3)PQ QP (2)T,E(4) PQ (3)T,I(5) Q (1)(4)T,I(6) SQ P(7) S (5)(6)T,I(8) SR P(9) R (7)(8)T,I(10) R P(11) RR 矛盾910T,Ic)(PQ)(RS),(QP)R),R?P?Q(1) R P(2) (QP) R P(3) QP (1)(2)T,I(4)(PQ) (RS) P(5) (RS) (PQ) (4)T,E(6) RS (1)T,I(7) PQ (5)(6)(8) (PQ) (QP) (3)(7)T,I(9) P?Q (8)T,E(5) 解:a)设P:我跑步。Q:我很疲劳。 前提为:PQ,Q (1) PQ P (2) Q P (3) P (1)(2)T,I 结论为:P,我没有跑步。b)设S:他犯了错误。 R:他神色慌张。前提为:SR,R 因为SRR?SRR?R。故此题没有确定的结论。 实际上,假设S R为真,R为真,那么S可为真,S也可为假,故无有效结论。c)设P:我的程序通过。 Q:我很快乐。R:阳光很好。 S:天很暖和。把晚上十一点理解为阳光不好前提
展开阅读全文
相关资源
正为您匹配相似的精品文档
相关搜索

最新文档


当前位置:首页 > 图纸专区 > 幼儿教育


copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!