请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的主析取范式 选项： A、(P∧Q∧R)∨(¬P∧¬Q∧R) B、(P∧Q∧R)∨(¬P∧¬Q∧¬R) C、(P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D、(P∧Q∧R)∨(¬P∧Q∧¬R)
- 2.命题公式P®（QÙR）的对偶式为选项： A:P®(QÚR); B:PÚ (QÚR); C:ØPÚ (QÙR); D:ØPÙ (QÚR)
- 3.公式(P∨¬Q)∧R的对偶式是 选项： A、(P∨¬Q)∧R B、(P∨Q)∧R C、(P∧¬Q)∨R D、(P∧Q)∨R
- 4.公式¬p→(q→r)与()等值。 选项： A、q→(p∨r) B、(p∧q)→r C、(p→r)∨(q→r) D、p→(q∨r)
- 5.在指派(P,Q,¬R,¬S)下真值为1的有( )选项： A:(P∧(Q∧R))∨¬((P∨Q)∧(R∨S)) B:(¬(P∧Q)∨¬R)∨(((¬P∧Q)∨¬R)∧S) C:(¬(P∧Q)∨¬R)∨((Q↔¬P)→(R∨¬S)) D:(P∨(Q→(R∨¬P)))↔(Q∨¬S)
- 6.(p∧q)∨r 其中 p∧q ⟺(p∧q∧￢r)∨(p∧q∧r) r ⟺(￢p∧￢q∧r)∨(￢p∧q∧r)∨( )∨(p∧q∧r)
- 7.﹁P∨Q∧R®S是以下哪个合式公式的简化形式？选项： A: ((((﹁P)∨Q)∧R)®S); B:(((﹁P)∨(Q∧R))®S); C:((﹁(P∨Q)∧R)®S); D: ((﹁P)∨(Q∧(R®S)))
- 8.～（p→（q∨r））等值于（）。A、（p∨（～q∧r））B、（p∧（～q∧～r））C、（p∧（～q∨～r））D、（p∨（～q∨～r）
- 9.推理证明下列各题的有效结论 ⑴p→(q∨r)，(t∨s)→p，(t∨s)Þq∨r ⑵p∧q，(p↔q)→(t∨s)Þ(t∨s) ⑶Ø(p→q)→Ø(r∨s)，(q→p)∨Ør,rÞp↔q ⑷p∧q→r，Ør∨s，ØsÞØp∨Øq ⑸p∨Øp,p→q,Øp→qÞq （6）p→(q∧r)，Øq∨s，(t→Øu)→Øs，q→(p∧Øt)Þq→t
- 10.下列推理形式中，有效式是（） 选项： A、（p∨q）→﹁r，p├﹁r B、﹁（p∨﹁q）├p C、（p→q）∧﹁p├﹁q D、﹁p∨q∨r├r
- 11.下列符号串不是合式公式的是 选项： A、（﹁P∧Q→R）∨S B、P∨Q↔∧Q C、P→﹁Q↔﹁R∧S D、（﹁P∨Q）∧R
- 12.构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P
- 13.证明下列各式的有效性：（1）R→¬Q，R∨S，S→¬Q，P→QÞ¬P（2）S→¬Q，R∨S，¬R，¬P→QÞP（3）¬（P→Q）→¬（R∨S），（Q→P）∨¬R，RÞP↔Q（4）P→（Q→R），R→（S→E），¬F→（S∧¬E）ÞP→（Q→F）的有效的结论。
- 14.求公式(P∧﹁R)∧T∧(P∨F)∧(﹁P∨﹁Q)的对偶式（ ） 选项： A、(P∧﹁R)∧F∧(P∨T)∧(﹁P∨﹁Q) B、(P∨R)∨F∨(P∧T)∨(P∧Q) C、(P∨﹁R)∨F∨(P∧T)∨(﹁P∧﹁Q) D、(P∨﹁R)∨T∨(P∧F)∨(﹁P∧﹁Q)
- 15. 以下不属于假言连锁论证形式的是()。 选项：A.PQ∴P∨Q P Q ∴P∨Q B.P￢Q∴P∧Q P ￢Q ∴P∧Q C.P→QQ→R∴P→R P→Q Q→R ∴P→R D.P∧Q￢P∴Q P∧Q ￢P ∴Q
- 16.1.求下列命题公式的析取范式。 ⑴ (p∧ q)→r ⑵ (p→q)→r ⑶p∧ (p→q) 2. 求下列命题公式的合取范式。 ⑴ (p→q) ⑵ q∨ (p∧q∧ r) ⑶ ( p∧q)∨ (p∧ q)
- 17.设P、Q和R为任何命题,则:P→Q,┑Q∨RP→R。()
- 18.下列推理中，有效式是（ ）。 选项： A:(p∧q ∧r)→(p∧r) B:(¬p→¬q)∧q→p C:(p∨q ∧p)→¬q D:(¬p←q)∧¬p→q E:(p→¬q)∧¬p→q
- 19.判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明：⑴ p→q...¬p是前提p→q，q→r，¬r的有效结论
