下列属于模态推理的有效式是（）。
A: ◇¬p → □¬p
B: ◇p → ◇¬p
C: □¬p → ¬□p
D: ¬ ◇p → ¬ □p
A: ◇¬p → □¬p
B: ◇p → ◇¬p
C: □¬p → ¬□p
D: ¬ ◇p → ¬ □p
C,D
举一反三
- 下列属于模态推理的有效式的是（）。 A: ◇¬p → □¬p B: ◇p → ◇¬p C: □¬p → ¬□p D: ¬ ◇p → ¬ □p
- 下列属于联言推理的有效式的是 A: (p∧q)→p(或q) B: ﹙p∨q）∧p〕→q C: (p，q)→p∧q D: 〔﹙p→q）∧p〕→q
- 判定下列推理形式是否为有效推理形式：</p><p>( p ∨ q )</p><p>( p → r )</p><p>( q → r )</p><p>————————</p><p>r</p>
- 下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(p∨q)∧p）→¬q D: （p∧q）→p
- 下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(p∨q)∧p）→¬q D: （p∧q）→p
内容
- 0
九、判定下列推理形式是否为有效推理形式：</p><p>( p → q )</p><p>( q → r )</p><p>( r → s )</p><p>——————————</p><p>（（¬ s）→（ ¬ p））</p>
- 1
下列推理形式中，有效式是（） A: （p∨q）→﹁r，p├﹁r B: ﹁（p∨﹁q）├p C: （p→q）∧﹁p├﹁q D: ﹁p∨q∨r├r
- 2
下列属于有效的推理形式的是（）。 A: （(p←q)∧q）→p B: （(p←q)∧¬p）→¬q C: （(p→q)∧¬q）→¬p D: （(p↔q)∧¬p）→¬q
- 3
下列假言推理为有效式的有（）。 A: （﹁p→q）∧p├﹁q B: （p→﹁q）∧q├﹁p C: （﹁p←﹁q）∧﹁p├q D: （p←﹁q）∧﹁q├p E: （p→﹁q）∧p├﹁q
- 4
下列假言推理为有效式的有（ ） A: ((﹁p→q)∧p)→﹁q B: （(p→﹁q) ∧q）→﹁p C: （(﹁q→﹁p)∧﹁）p→q D: （(﹁q→p)∧﹁q）→p E: （(p→﹁q)∧p）→﹁q