• 2022-06-08
    下列推理中,有效的是 ( )
    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
  • A,C

    内容

    • 0

      下列推理形式中,有效的是 A: (p∨~q)∧p→~q B: (p→~q)∧q→~p C: (~p←q)∧q→~p D: (p∨~q)∧q→~p E: [(p→q)∧(r→s)∧(~p∨~r)]→(~q∨~s)

    • 1

      下列各推理形式中,有效的推理形式是( )。 A: ((p→﹁q)∧q)→﹁p B: ((p←﹁q)∧﹁p)→q C: ((p↔ q)∧﹁q)→﹁p D: ((p→q)∧p)→q

    • 2

      下列非有效的推理形式有()。 A: (p→q)∧P→q B: (q→q)∧q→p C: (p→q)∧q→q D: (q→q)∧q→p E: (p→q)∧q→p

    • 3

      在下列充分条件推理形式中,有效的是()。 A: A(p→﹁q)∧﹁p├q B: B(p→﹁q)∧q├﹁p C: C(﹁p→q)∧p├﹁q D: D(﹁p→﹁q)∧q├p E: E(﹁p→q)∧q├﹁p

    • 4

      在下列推理形式中,推理形式有效的是()。 A: (p∧﹁q)→﹁q B: ((p∨q)∧﹁p)→q C: ((p→q)∧p)→q D: ((p←q)∧﹁p)→﹁q