• 2021-04-14
    SQL的定点小数类型numeric(p,q)中的q代表整数部分长度
  • 内容

    • 0

      已知p→(p∨q)是重言式,ㄱ(p→q)∧q是矛盾式,试判断(p→(p∨q))∧(ㄱ(p→q)∧q)及ㄱ(ㄱp∨q)∧p的类型。

    • 1

      下列推理中,有效的是 ( ) A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q

    • 2

      以下逻辑公式中,()是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)

    • 3

      下列判断中违反矛盾律要求的是( )。 A: (p∨﹁q)∧(﹁p∧q) B: (p→﹁q) ∧(﹁p∨q) C: (p→q) ∧(﹁p∨q) D: (p∨q) ∧(﹁p∨﹁q) E: (﹁p∧﹁q)∧(﹁p→q)

    • 4

      用真值表判断下列公式的类型 (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)