下列属于有效的推理形式的是（）。
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: 如果¬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