• 2022-06-12 问题

    以下正确的定义语句和赋值语句是 A: intb[3][5],(*p)[3],(*q)[5];p=b;q=b B: f1oatb[3][5],*p[3];p[0]=b[0];p[2]=*b+4 C: doubleb[3][5],s[5][3],*q;q=b;s=q D: intb[10],*q;char*s;q=b;s=b

    以下正确的定义语句和赋值语句是 A: intb[3][5],(*p)[3],(*q)[5];p=b;q=b B: f1oatb[3][5],*p[3];p[0]=b[0];p[2]=*b+4 C: doubleb[3][5],s[5][3],*q;q=b;s=q D: intb[10],*q;char*s;q=b;s=b

  • 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-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。

  • 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 问题

    【单选题】设 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-07 问题

    由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s

    由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s

  • 2022-06-16 问题

    设命题:“马路上骑自行车不许带人。不许闯红灯,不许逆行,否则罚款5~10元。”。利用下列符号:M:某人在马路上骑自行车;P:某人骑车带人;R:某人骑车逆行;Q:某人骑车闯红灯;S:某人被罚款5~10元。请用给定的符号表示上述命题。 A: (M→┐P∧┐Q∧┐R)∧(P∨Q∨R→S) B: (M∧┐P∧┐Q∧┐R)∧(P∨Q∨R→S) C: (M→┐P∧┐Q∧┐R)∨(P∨Q∨R→S) D: (M→┐P∧┐Q∧┐R)∧(P∨Q∨R∧S)

    设命题:“马路上骑自行车不许带人。不许闯红灯,不许逆行,否则罚款5~10元。”。利用下列符号:M:某人在马路上骑自行车;P:某人骑车带人;R:某人骑车逆行;Q:某人骑车闯红灯;S:某人被罚款5~10元。请用给定的符号表示上述命题。 A: (M→┐P∧┐Q∧┐R)∧(P∨Q∨R→S) B: (M∧┐P∧┐Q∧┐R)∧(P∨Q∨R→S) C: (M→┐P∧┐Q∧┐R)∨(P∨Q∨R→S) D: (M→┐P∧┐Q∧┐R)∧(P∨Q∨R∧S)

  • 2022-05-26 问题

    请用归谬赋值法判定下列命题是否为重言式:((p→q)∧(r→s))∨(p∨r)→q∨s((p→q)∧(r→s))∨(¬q∨¬s)→¬p∨¬r((p→q)∧(r→s))∧(p∧r)→q∧s(f∨g→(q→(i«k)))∧(q∧i)∧(q∨m→f)→(i«k)

    请用归谬赋值法判定下列命题是否为重言式:((p→q)∧(r→s))∨(p∨r)→q∨s((p→q)∧(r→s))∨(¬q∨¬s)→¬p∨¬r((p→q)∧(r→s))∧(p∧r)→q∧s(f∨g→(q→(i«k)))∧(q∧i)∧(q∨m→f)→(i«k)

  • 2022-05-30 问题

    利用反证法证明:R∨S,R→¬Q,S→¬Q,P→Q=>¬P请将下面推理论证的过程补充完整。(说明:输入答案时,不要输入多余的空格)证明过程如下:(1)( ) 假设前提 (2)P→Q P(3) Q T(1)(2) I(4)S→¬Q P(5)( ) T(3)(4) I(6)R∨S P(7)R T(5)(6) I(8)R→¬Q P(9)¬Q T(7)(8) I(10)( )矛盾 T(3)(9) I

    利用反证法证明:R∨S,R→¬Q,S→¬Q,P→Q=>¬P请将下面推理论证的过程补充完整。(说明:输入答案时,不要输入多余的空格)证明过程如下:(1)( ) 假设前提 (2)P→Q P(3) Q T(1)(2) I(4)S→¬Q P(5)( ) T(3)(4) I(6)R∨S P(7)R T(5)(6) I(8)R→¬Q P(9)¬Q T(7)(8) I(10)( )矛盾 T(3)(9) I

  • 2022-06-16 问题

    已知一个单链表中,指针q指向指针p的前趋结点,若在指针q所指结点和指针p所指结点之间插入指针s所指结点,则需执行( ) A: q→next=s;p→next=s; B: q→next=s;s→next=p; C: q→next=s;q→next=p; D: q→next=s;s→next=q;

    已知一个单链表中,指针q指向指针p的前趋结点,若在指针q所指结点和指针p所指结点之间插入指针s所指结点,则需执行( ) A: q→next=s;p→next=s; B: q→next=s;s→next=p; C: q→next=s;q→next=p; D: q→next=s;s→next=q;

  • 1 2 3 4 5 6 7 8 9 10