下列属于模态推理的有效式是（）。
A: ◇¬p → □¬p
B: ◇p → ◇¬p
C: □¬p → ¬□p
D: ¬ ◇p → ¬ □p
A: ◇¬p → □¬p
B: ◇p → ◇¬p
C: □¬p → ¬□p
D: ¬ ◇p → ¬ □p
举一反三
- 下列属于模态推理的有效式的是（）。 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