下列推理形式中，有效式是（）。A、如果非p，那么非q；q；所以pB、要么非p，要么q；非p；所以非qC、只有非p，才q；非p；所以qD、如果p，那么非q；非p；所以qE、p并且q并且r；所以p并且r

第1题

试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。

点击查看答案

第2题

下列推理形式中，无效的是（）。A、如果p，那么r；如果非p，那么r；P或者非P；所以rB、只有非P，才q；非p；所以非qC、要么p，要么q；q；所以pD、如果p并且q，那么r；非p或者非q；所以；非rE、p并且非q，所以p

点击查看答案

第3题

如果p，那么非q；如果p，那么非r；q或r；所以，非p。这是二难推理的（）。A、简单构成式B、复杂构成式C、简单破坏式D、复杂破坏式

点击查看答案

第4题

（pVq）的矛盾判断是（）。A、如果p，那么非qB、非p且非qC、并非要么非p要么qD、并非如果非p，那么qE、p且非q

点击查看答案

第5题

设“如果（非p或非q），那么（r或s）”和“非r并且非s”为两个真命题，则以它们为论据可以证明（）。 A、p并且qB、非p并且非qC、并非（如果p，那么非q）D、p或qE、并非（只有非p，才q）

点击查看答案

第6题

与"只有P才q"等值的判断是（）。A、只有非q才非pB、只有q才pC、如果非q那么非pD、P并且非q

点击查看答案

第7题

并非（如果p那么q）的等值判断是（）。A、p并且非qB、非p并且qC、非p并且非qD、p或者q

点击查看答案