证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下： 证明： ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I以上证明方法是用归谬法，证明过程是正确的。
发布时间：2024-06-05 18:43:53
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.推理证明下列各题的有效结论 ⑴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
- 2.构造下列推理的证明。 （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
- 3.证明下列命题公式之间的等价的（1）（P→Q）∧（R→Q）Û（P∨R）→Q（2）¬（P↔Q）Û（P∨Q）∧¬（P∧Q）（3）¬（P↔Q）Û（P∧¬Q）∨（¬P∧Q）（4）（（Q∧R）→S）∧（R→（P∨S））Û（R∧（P→Q））→S；
- 4.证明下列各式的有效性：（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）的有效的结论。
- 5.判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明：⑴ p→q...¬p是前提p→q，q→r，¬r的有效结论
- 6.在指派(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)
-
7.若有以下程序 #include
int *f(int *s, int *t) { int k; if (*s < *t) { k = *s; *s=*t; *t=k; } return s; } main() { int i=3, j=5, *p=&i, *q=&j, *r; r=f(p,q); printf("%d,%d,%d,%d,%d\n", i, j, *p, *q, *r); }则程序的输出结果是( ) -
8.若有以下程序 #include
int *f(int *s,int *t) { int *k; if (*s < *t){ k = s; s=t; t=k; } return s; } main() { int i=3, j=5, *p=&i, *q=&j, *r; r=f(p,q); printf("%d,%d,%d,%d,%d\n", i, j, *p, *q, *r); }则程序的输出结果是( ) - 9.求公式(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)
- 10.证明:P→(Q→R) =>; (P→Q)→(P→R)
- 11.分析物料搬运问题所需的主要输入因素为（ ）。 选项： A、A、E、I、O、U B、A、E、I、O、U、X C、P、Q、R、S、T D、P、Q、R、S、T、X
- 12.﹁P∨Q∧R®S是以下哪个合式公式的简化形式？选项： A: ((((﹁P)∨Q)∧R)®S); B:(((﹁P)∨(Q∧R))®S); C:((﹁(P∨Q)∧R)®S); D: ((﹁P)∨(Q∧(R®S)))
- 13.命题公式 P ∧(Q∨R) 的对偶式为（ ）。 选项： A、P∨(Q∧R） B、P∨(Q∨R） C、P∧(Q∧R） D、P∨(T∧R）
- 14.下列符号串不是合式公式的是 选项： A、（﹁P∧Q→R）∨S B、P∨Q↔∧Q C、P→﹁Q↔﹁R∧S D、（﹁P∨Q）∧R
- 15.下列符号串不是合式公式的是选项： A:（﹁P∧Q→R）∨S; B:P∨Q↔∧Q; C:P→﹁Q↔﹁R∧S; D:（﹁P∨Q）∧R
- 16.设命题P、Q的真值为“1“,命题R,S的真值为”0”,则下列哪个命题的真值为”0“ 选项： A、P∧Q∧R B、┑(P∧Q)∨┑R C、(P →┑R)∧(Q∧┑S) D、(P →Q)∧(R→S)
- 17.求公式(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)
- 18.以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有
- 19.占据空间的有质量的叫做物质，而物质是不断变化的。设P：它占据空间。Q：它有质量。R：它不断变化。S：它是物质。 A: ((P∧Q)⇄S)∨(S→R) B: ((P∧Q)⇄S)∧(S→R) C: ((P∧Q)→S)∧(S→R) D: ((P∧Q)→S)∨(S→R)
- 20.I n M e x i c o , c o u r t e s y r e q u i r e s t h a t y o u i n q u i r e a b o u t o n e’ s s p o u s e a n d f a m i l y .
- 21.以下合式公式为永真式的有( )选项： A:(((P∨Q)→R)↔((P→R)∧(Q→R))) B:(P→Q)→((R→Q)→((P∨R)→Q)) C:(P→(Q→R))↔(Q→(P→R)) D:(P→(Q→R))→((P→Q)→(P→R))
- 22.公式﹁（p∧q）∨（﹁q∧r）的对偶式是（ ）。 选项：A、﹁（p∨q）∧（﹁q∨r）B、﹁（p∧q）∧（﹁q∧r）C、﹁（p∧q）∧（﹁q∨r）D、（﹁ p∧﹁ q）∨（﹁q∧r）
