1、四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。PQf) 设P:语法错误。程序错误。R:停机。(P Q) R(6) 解:a) P:天气炎热。正在下雨。 PQb) P:湿度较低。 PRc) R:天正在下雨。S:湿度很高。 RSd) A:刘英上山。B:李进上山。 ABe) M:老王是革新者。N:小李是革新者。 MNf) L:你看电影。M:我看电影。 LMg) P:我不看电视。我不外出。 R:我在睡觉。 PQRh) P:控制台打字机作输入设备。控制台打字机作输出设备。1-3(1)解:a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b) 是合式公式c) 不是合式
2、公式(括弧不配对)d) 不是合式公式(R和S之间缺少联结词)e) 是合式公式。 (2)解:a) A是合式公式,(AB)是合式公式,(A(AB) 是合式公式。这个过程可以简记为:A;(AB);(A(AB) 同理可记b) A;A ;(AB) ;(AB)A)c) A;B;(AB) ;(BA) ;(AB)(BA)d) A;(AB) ;(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) 式进行代
3、换得到,用R代换P, S代换Q, Q代换R, P代换S.(5)解: 你没有给我写信。 信在途中丢失了。 P Q 张三不去。 李四不去。 他就去。 (PQ)Rc) P: 我们能划船。 Q: 我们能跑步。 (PQ)d) P: 你来了。 他唱歌。 你伴奏。 P(QR)(6)解:它占据空间。它有质量。它不断变化。 S:它是物质。这个人起初主张:(PQR) S后来主张:(PQS)(SR)这个人开头主张与后来主张的不同点在于:后来认为有PQ必同时有R,开头时没有这样的主张。(7)解: 上午下雨。我去看电影。我在家里读书。我在家里看报。(PQ)(P(RS) 我今天进城。QP 你走了。我留下。QP1-4 (4
4、)解:a) P Q RQRP(QR)(PQ)RT T T F FFTF所以,P(QR) (PQ)Rb) P QR P(QR) PQ (PQ)R F F所以,P(QR) (PQ)R)()()()所以,P(QR) (PQ)(PR) QPQPQ(PQ)PQ(PQ)所以,(PQ) PQ, (PQ) PQ如表,对问好所填的地方,可得公式F1F6,可表达为 P F1 F2 F3 F4 F5 F6F1:(QP)RF2:(PQR)(PQR)F3:(PQ)(QR)F4:(PQR)(PQR)F5:(PQR)(PQR)F6:(PQR)(6)PQ1234 5678910111213141516F T 解:由上表可得有
5、关公式为1.F 2.(PQ) 3.(QP) 4.P 5.(PQ) 6.Q 7.(PQ) 8.(PQ) 9.PQ 10.PQ 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) (AB) (AB)(AB) (AB)(AB)(AB)(AB) 或 (AB) (AB)(BA)(AB)(BA)(AB)(AA)(BB)(BA)(AB)(BA)(AB)(AB) (AB)(AB)c) (AB) (AB) ABd) (AB)(AB)(BA)(AB)(AB)e) (ABC)D)(C(ABD) (ABC)D)(C(ABD
6、) (ABC)D)(ABC)D) (ABC)(ABC)D (ABC)(ABC)D (AB)(AB)C)D (C(AB)D)f) A(BC) A(BC) (AB)C(AB)C (AB)Cg) (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)C(8)解:a) (AB) (BA)C (AB) (BA)C (AB) (AB)CTCCb) A(A(BB) (AA)(BB) TF Tc) (ABC)(ABC) (AA) (BC)T(BC)BC(
7、9)解:1)设C为T,A为T,B为F,则满足ACBC,但AB不成立。 2)设C为F,A为T,B为F,则满足ACBC,但AB不成立。3)由题意知A和B的真值相同,所以A和B的真值也相同。习题 1-5(1) 证明:a) (P(PQ)Q(P(PQ)Q(PP)(PQ)Q(PQ)Q(PQ)QPQQPTb) P(PQ)P(PQ) (PP)QTQc) (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)
8、(ca)(ab)(bc)(ca) 为重言式。(2) 证明:a)(PQ)P(PQ)解法1:设PQ为T(1)若P为T,则Q为T,所以PQ为T,故P(PQ)为T(2)若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)所以(PQ)P(PQ)b)(PQ)QPQ设PQ为F,则P为F,且Q为F,故PQ为T,(PQ)Q为F,所以(PQ)QPQ。c)(Q(PP)(R(R(PP)RQ设RQ为F,则R为T,且Q为F,又PP为F所以Q(PP)为T,R(P
9、P)为F所以R(R(PP)为F,所以(Q(PP)(R(R(PP)为F即(Q(PP)(R(R(PP)RQ成立。a) PQ表示命题“如果8是偶数,那么糖果是甜的”。b) a)的逆换式QP表示命题“如果糖果是甜的,那么8是偶数”。c) a)的反换式PQ表示命题“如果8不是偶数,那么糖果不是甜的”。d) a)的逆反式QP表示命题“如果糖果不是甜的,那么8不是偶数”。a) 如果天下雨,我不去。设P:我不去。PQ 逆换式QP表示命题:如果我不去,则天下雨。逆反式QP表示命题:如果我去,则天不下雨b) 仅当你走我将留下。设S:你走了。我将留下。RS逆换式SR表示命题:如果你走了则我将留下。逆反式SR表示命题
10、:如果你不走,则我不留下。c) 如果我不能获得更多帮助,我不能完成个任务。设E:我不能获得更多帮助。H:我不能完成这个任务。EH逆换式HE表示命题:我不能完成这个任务,则我不能获得更多帮助。逆反式HE表示命题:我完成这个任务,则我能获得更多帮助(5) 试证明PQ,Q逻辑蕴含P。证明:本题要求证明(PQ) QP, 设(PQ) Q为T,则(PQ)为T,Q为T,故由的定义,必有P为T。所以(PQ) QP由体题可知,即证(PQ)Q)P是永真式。 (PQ)Q)P (PQ) (PQ) Q)P (PQ) (PQ) Q) P (PQ) (PQ) Q) P (QPQ) (QPQ) P (QP) T) PQPPQ
11、T P:我学习 Q:我数学不及格 R:我热衷于玩扑克。如果我学习,那么我数学不会不及格: PQ如果我不热衷于玩扑克,那么我将学习: RP 但我数学不及格:因此我热衷于玩扑克。即本题符号化为:(PQ)(RP)QR证:证法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) 解:6是偶数 7被2除尽 5是素数如果6是偶数,则7被2除不尽 或5不是素数,或7被2除尽 RQ5是素数 所以6是奇数
12、 P(PQ)(RQ)R P(PQ)(RQ)R)P (PQ) (RQ) R) P (PQ) (RQ) R) P (PP) (PQ) (RR) (RQ) (PQ) (RQ)T所以,论证有效,但实际上他不符合实际意义。(PQ)(RQ)R为T,则有R为T,且RQ 为T,故Q为T,再由PQ为T,得到P为T。(8) 证明:a) P(PQ)设P为T,则P为F,故PQ为Tb) ABCC假定ABC为T,则C为T。c) CABB因为ABB为永真,所以CABB成立。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
13、,B为F,则A为T,B为T,故AB为T。命题得证。e) A(BC),DE,(DE)ABC设A(BC),DE,(DE)A为T,则DE为T,(DE)A为T,所以A为T又A(BC)为T,所以BC为T。f) (AB)C,D,CDAB设(AB)C,D,CD为T,则D为T,CD为T,所以C为F又(AB)C为T,所以AB为F,所以AB为T。a) 如果他有勇气,他将得胜。他有勇气他将得胜 原命题:PQ 逆反式:QP 表示:如果他失败了,说明他没勇气。b) 仅当他不累他将得胜。他不累他得胜 QPPQ 表示:如果他累,他将失败。习题 1-6a) (PQ)P(PP)Q(TQ)b) (P(QR) PQ (P(QR)P
14、Q(PPQ)(QPQ)(RPQ)(PQ)(PQ)(PRQ)PQ(PQ)c) PQ(RP)PQ(RP) (PQR)(PQP)(PQR)FPQR(PQR)a)P PPb)PQ(PQ) (PQ)(PQ)c)PQPQ (PP)(QQ)P(PQ)P(PQ)PP (PP)(PP)P(PP) (PP)(PP)P)(PP)P)(PP)P)PQ(PQ)(PP)(QQ) (PP)(QQ)(PP)(QQ)(5)证明:(BC)(BC) BC(BC)(BC)BC联结词“”和“”不满足结合律。举例如下:a)给出一组指派:P为T,Q为F,R为F,则(PQ)R为T,P(QR)为F故 (PQ)R P(QR).b)给出一组指派:
15、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,PQ,PP,QQ,QP。但PQQP,PPQQ,故实际有:P,Q,P,Q,PQ,PP(T) (A)用作用于(A)类,得到扩大的公式类(包括原公式类):P,Q,P,Q,(PQ), T,F, PQ (B)用作用于(A)类,得到:PQ,PPF,PQ(PQ),P(PQ)Q,P(PP)P,QP(PQ),QQF,Q(PQ)P,QTQ, PQPQ,P(PQ)Q,PTP, Q(PQ)P,QTQ,(PQ)(PQ)PQ.因此,(A)类使用运算后,仍在(B)类中。对
16、(B)类使用运算得:P,Q,P,Q, PQ, F,T,(PQ), 仍在(B)类中。对(B)类使用运算得:PQ,PPF,PQ(PQ),P(PQ)Q,PTP,PFP,P(PQ)Q, QP(PQ),QQF,Q(PQ)P,QTQ, QFQ, Q(PQ)P, PQPQ,P(PQ)Q,PTP, PFP,P(PQ)Q, Q(PQ)P,QTQ, QTQ,Q(PQ)P,(PQ)T(PQ),(PQ)FPQ,(PQ)(PQ)FTFF,T(PQ) PQF(PQ) (PQ)故由(B)类使用运算后,结果仍在(B)中。由上证明:用,两个连结词,反复作用在两个变元的公式中,结果只能产生(B)类中的公式,总共仅八个不同的公式,故,不是功能完备的,更不能是最小联结词组。已证,不是最小联结词组,又因为P Q (PQ),故任何命题公式中的联结词,如仅用 , 表达,则必可用,表达,其逆亦真。故 , 也必不是最小联结词组。(8)证明,和不是最小联结词组。若,和是最小联结词,则 P(PP) P(PP) PP(P(P)对所有命题变元指派T,则等价式左边为F,右边为T,与等价表达式矛盾。所以,和不是最小联结词。(9)证明,和, 是最小联结词组。因为,为最小联结词组,且PQPQ所以,是功能完备的联结词组,又
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1