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