搜题
章节测试答案
学历考试
继续教育
网课答案
网课答案全集
登录
注册
请在
下方输入
要搜索的题目:
搜 索
立 即 搜 题
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有
推理
前提
所用
发布时间:
2024-05-20 14:00:25
首页
IT认证
推荐参考答案
(
由 搜题小帮手 官方老师解答 )
联系客服
答案:
以下文字与答案无关
提示:有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题,这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏,所以恳请 广大网友理解。
查看参考答案
相关试题
1.
构造下列推理的证明。 (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
2.
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有选项: A:二难推理的简单构成式; B:选言推理的肯定否定式; C:选言推理的否定肯定式; D:联言推理的组合式
3.
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。 选项: A、二难推理的简单构成式 B、二难推理的复杂构成式 C、选言推理的肯定否定式 D、选言推理的否定肯定式 E、联言推理的组合式
4.
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有选项: A:二难推理的简单构成式; B:二难推理的复杂构成式; C:选言推理的肯定否定式; D:选言推理的否定肯定式; E:联言推理的组合式
5.
推理证明下列各题的有效结论 ⑴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
6.
以“如果p或q,那么r”和“非r”为前提,可必然推出结论 ( )选项: A:¬p∧¬q ; B:p¬∧q; C:¬p∧q ; D:¬p∨¬q
7.
在指派(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)
8.
以“~(p∨q)←r”为前提构成演绎推理,若加上另一前提选项: A:“r”,则能必然推出“~p∧~q” B:“~p∧~q”,则能必然推出“~r” C:“~r”,则能必然推出“p∨q” D:“p∨q”,则能必然推出“~r” E:“r”,则能必然推出“~p”
9.
证明下列各式的有效性:(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)的有效的结论。
10.
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有选项: A:一次运用选言推理的否定肯定式 B:联言推理的分解式 C:两次运用选言推理的否定肯定式 D:充分条件推理的肯定前件式 E:联言推理的组合式
11.
﹁P∨Q∧R®S是以下哪个合式公式的简化形式?选项: A: ((((﹁P)∨Q)∧R)®S); B:(((﹁P)∨(Q∧R))®S); C:((﹁(P∨Q)∧R)®S); D: ((﹁P)∨(Q∧(R®S)))
12.
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有( )选项: A:选言推理的肯定否定式; B:联言推理的分解式; C:选言推理的否定肯定式 ; D:假言推理的肯定前件; E:假言推理的否定后件式
13.
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有( )选项: A:选言推理的肯定否定式; B:联言推理的分解式; C:选言推理的否定肯定式 ; D:假言推理的肯定前件; E:假言推理的否定后件式
14.
下列字符串是否是命题公式。(1)(P→Q)↔(¬Q→¬P)(2)(Q∧(P→Q))→(P→Q)(3)(¬Q→P)→(P→Q)(4)(P∨Q→R↔)S(5)(P∧Q)↔P(6)(P→¬P)¬P(7)(P→QR→Q)(8)¬(P↔Q)Û(P∨Q)∧¬(P∧Q)(9)(P∧¬Q)∨(¬P∧Q)(10)((Q∧R)→S)∧(R→(P∨S))∧(R∧P→Q)→S
15.
( )不是有效的推理。 选项: A、前提:("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论:P(a) B、前提:("x)(P(x)ÞQ) 结论:("x)P(x)ÞQ C、前提:("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论:($x)(R(x)ÞP(x)) D、前提:("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论:("x)(R(x)∧S(x)) E、前提:("x)($y)P(x, y)结论:("x)($y)($z)(P(x, y)∧P(y, z)) F、前提:("x)P(x)∨("x)Q(x)结论:("x)(P(x)∨Q(x)) G、前提:("x)(G(x)ÞH(x)),~($x)(F(x)∧H(x))结论:($x)F(x)Þ($x)G(x) H、前提:("x)(H(x)ÞM(x))结论:("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )
16.
判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明:⑴ p→q...¬p是前提p→q,q→r,¬r的有效结论
17.
占据空间的有质量的叫做物质,而物质是不断变化的。设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)
18.
P,Q真值为0;R,S真值为1。则(P∧(R∨S))→((P∨Q)∧(R∧S))的真值为 .
用户中心
登录
没有账号?
点我注册
热门标签
包换
企鹅
准予
不一会儿
有风
输送带
媒体工具
停车站
投资小
东方式
登录 - 搜题小帮手
登录
立即注册
已购买搜题包,但忘记账号密码?
登录即同意
《服务协议》
及
《隐私政策》
注册 - 搜题小帮手
确认注册
立即登录
登录即同意
《服务协议》
及
《隐私政策》
购买搜题卡查看答案
购买前请仔细阅读
《购买须知》
体验
30天体验包
¥
5.99
无赠送,体验一下
查看100次答案
推荐
半年基础包
¥
9.99
畅享300次搜题
查看300次答案
随心用
超值包一年
¥
29.99
超值包,一万次搜题
查看10000次答案
月卡
月卡
¥
19.99
30天无限搜题
查看30天答案
请选择支付方式
已有帐号 点我登陆
微信支付
支付宝扫码
请输入您的手机号码:
点击支付即表示同意并接受了
《服务协议》
和
《购买须知》
填写手机号码系统自动为您注册
立即支付
我们不保证100%有您要找的试题及正确答案!请确保接受后再支付!
联系客服
找回账号密码
微信支付
订单号:
1111
遇到问题请
联系客服
恭喜您,购买搜题卡成功
系统为您生成的账号密码如下:
账号
密码
重要提示:
请勿将账号共享给其他人使用,违者账号将被封禁。
保存账号查看答案
请不要关闭本页面,支付完成后请点击【支付完成】按钮
支付完成
取消支付
遇到问题请联系
在线客服