下列属于有效的推理形式的是（）。
A: （(p∨q)∧¬q）→p
B: （(p∨q)∧p）→q
C: （(要么p要么q)∧¬q）→p
D: （(要么p要么q)∧q）→¬p
A: （(p∨q)∧¬q）→p
B: （(p∨q)∧p）→q
C: （(要么p要么q)∧¬q）→p
D: （(要么p要么q)∧q）→¬p
A,C,D
举一反三
- 以下推理形式，有效式是 ( ) A: 如果¬p那么q；p；所以¬q B: 要么p要么q；q；所以¬p C: 只有p才¬q；q；所以¬p D: 只有¬p才¬q；q；所以p
- 下列演绎推理式中,无效式为( ) A: (p←﹁q)∧q├﹁p B: ( ﹁p→q)∧﹁p├q C: (p∨q)∧﹁p├q D: (要么﹁p要么q)∧﹁p├<br/>q E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
- 当p真q真时,下列复合判断为真的有( ) A: p∧q B: p∨q C: 要么p要么q D: p→q E: p←q
- 当支判断“P”、“q”均假时,下列判断为真的是( ) A: p∧q B: p→q C: p←q D: 要么p要么q E: p∨q
- 当p假q假时，下列为真的判断是（） A: p∧q B: p∨q C: p→q D: 要么p要么q
内容
- 0
“要么P要么q,非p,q”这种结构是哪种推理
- 1
下列五个推理形式中，有效的是 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
- 2
下列推理形式中，有效式是（）。 A: 如果非p，那么非q；q；所以p B: 要么非p，要么q；非p；所以非q C: 只有非p，才q；非p；所以q D: 如果p，那么非q；非p；所以q E: p并且q并且r；所以p并且r
- 3
“小张虽然年龄不大，做事却很稳妥。”这个命题的逻辑形式是（）。 A: p ∧ q B: p∨q C: 要么p，要么q D: p ， q
- 4
当“p或者q”为假时,则( )为真: A: p并且q B: 如果p那么q C: 要么p要么q D: 只有p才q