• 2022-06-17 问题

    设P:2×2=5,Q:雪是黑的,R:2×4=8,S:太阳从东方升起,下列()命题的真值为真。 A: P→Q∧R B: R →P∧S C: S →Q ∧R D: ( P ∧R)∨(Q∧S)

    设P:2×2=5,Q:雪是黑的,R:2×4=8,S:太阳从东方升起,下列()命题的真值为真。 A: P→Q∧R B: R →P∧S C: S →Q ∧R D: ( P ∧R)∨(Q∧S)

  • 2021-04-14 问题

    用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)

    用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)

  • 2022-11-02 问题

    构造下列命题的真值表。 (1)¬(P→Q)∧Q。 (2)(P→¬Q)→¬Q。 (3)P→Q∨R。 (4)P↔¬Q。 (5)((P∨Q)→R)↔S。

    构造下列命题的真值表。 (1)¬(P→Q)∧Q。 (2)(P→¬Q)→¬Q。 (3)P→Q∨R。 (4)P↔¬Q。 (5)((P∨Q)→R)↔S。

  • 2021-04-14 问题

    【单选题】设 P : 2×2=5 , Q :雪是黑的, R : 2×4=8 , S :太阳从东方升起,则下列真命题为 () (2.0分) A. P→Q∧R B. R→P∧S C. S→Q∧R D. (P∧R)∨(Q∧S)

    【单选题】设 P : 2×2=5 , Q :雪是黑的, R : 2×4=8 , S :太阳从东方升起,则下列真命题为 () (2.0分) A. P→Q∧R B. R→P∧S C. S→Q∧R D. (P∧R)∨(Q∧S)

  • 2022-06-16 问题

    求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (1)P∨(Q∧¬R)。 (2)P∨(Q∧R)→P∧Q∧R。 (3)¬(P→Q)∧Q∧R。 (4)(P→Q)→R。 (5)(¬P→Q)→(¬Q∧P)。

    求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (1)P∨(Q∧¬R)。 (2)P∨(Q∧R)→P∧Q∧R。 (3)¬(P→Q)∧Q∧R。 (4)(P→Q)→R。 (5)(¬P→Q)→(¬Q∧P)。

  • 2022-05-26 问题

    构造下列推理的证明。 (1)前提:¬P∨Q, ¬(Q∧R),R;结论:¬P。 (2)前提:(P→Q)→(Q→R),R→P;结论:Q→P。 (3)前提:P→(Q→R), ¬S∨P;结论:Q→(S→R)。 (4)前提:¬P∧¬Q;结论:¬(P∧Q)。 (5)前提:P→¬Q,R∨S,S→¬Q;结论:¬P

    构造下列推理的证明。 (1)前提:¬P∨Q, ¬(Q∧R),R;结论:¬P。 (2)前提:(P→Q)→(Q→R),R→P;结论:Q→P。 (3)前提:P→(Q→R), ¬S∨P;结论:Q→(S→R)。 (4)前提:¬P∧¬Q;结论:¬(P∧Q)。 (5)前提:P→¬Q,R∨S,S→¬Q;结论:¬P

  • 2022-06-17 问题

    设p:雪是黑的,q:2×4=5,r:太阳从东方升起,命题公式p→q∧r的真值为____。

    设p:雪是黑的,q:2×4=5,r:太阳从东方升起,命题公式p→q∧r的真值为____。

  • 2022-05-27 问题

    请分析下列截交线的边数[img=400x667]180328b186d8547.png[/img] A: P:4;Q:5;R:4 B: P:3;Q:4;R:3 C: P:4;Q:5;R:5 D: P:4;Q:5;R:3

    请分析下列截交线的边数[img=400x667]180328b186d8547.png[/img] A: P:4;Q:5;R:4 B: P:3;Q:4;R:3 C: P:4;Q:5;R:5 D: P:4;Q:5;R:3

  • 2022-06-09 问题

    已知三个质数p,q,r满足p+g=r,且p<q,则p等于______。 A: 2 B: 3 C: 5 D: 7 E: 11

    已知三个质数p,q,r满足p+g=r,且p<q,则p等于______。 A: 2 B: 3 C: 5 D: 7 E: 11

  • 2022-05-31 问题

    (1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: (1)和(2) B: (1)和(3) C: (2)和(3) D: (2)和(4)

    (1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: (1)和(2) B: (1)和(3) C: (2)和(3) D: (2)和(4)

  • 1 2 3 4 5 6 7 8 9 10