逻辑学证明题_逻辑学吧_百度贴吧
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&签到排名：今日本吧第个签到，本吧因你更精彩，明天继续来努力！
本吧签到人数：0成为超级会员，使用一键签到本月漏签0次！成为超级会员，赠送8张补签卡连续签到：天&&累计签到：天超级会员单次开通12个月以上，赠送连续签到卡3张
关注：33,760贴子：
逻辑学证明题收藏
请用列表或其他证明。p∧(￢r∨s)，￢(q⊃s)├ r （没有下标，默认经典命题逻辑系统）…………虽然觉得这种问题貌似跟此吧的好多帖子格格不入但这是逻辑学吧吧望天……
1、p∧(￢r∨s)，￢(q⊃s)├ p∧(r⊃s)，￢(￢q∨s)2、 p∧(r⊃s)，￢(￢q∨s)├
p∧(r⊃s)，q∧￢s3、p∧(r⊃s)，q∧￢s ├
p∧(￢s⊃￢r)，q∧￢s4、p∧(￢s⊃￢r)，q∧￢s ├ ￢s⊃￢r，￢s5、￢s⊃￢r，￢s ├ ￢r结论：├ ￢r题目有错吧？应该是p∧(￢r∨s)，￢(q⊃s)├ ￢r
证明有误。
哦，看错了
p ∧(￢r ∨ s)，￢(q ⊃ s)
s=1=0∴r=0
p ∧(￢ r ∨ s)，￢(q ⊃ s)
s=1=0对应不上
p ∧(￢ r ∨ s)，￢(q ⊃ s) r=1时1 .1 .0 .1 .1 .1 ..1 .1 .0 .0 .s=1=0
1.p∧(￢r∨s)，2.￢(q⊃s)├ r 3.￢r∨s4.q∧￢s5.￢s6.￢r题误？
这...看都看不懂！
登录百度帐号推荐应用扫二维码下载作业帮
2亿学生的选择
下载作业帮安装包
扫二维码下载作业帮
2亿学生的选择
逻辑学三段论证明若三段论前提中有一特称命题,则结论必为特称命题
聖誕快樂119
扫二维码下载作业帮
2亿学生的选择
规则6：若前提有一特称判断,则结论必为特称判断.若一个前提为特称判断,另一前提必为全称判断,这样两前提判断类型的组合情况只有四种：第一种,AI(或IA)组合,即一个前提是全称肯定判断,另一前提为特称肯定判断.在这种组合中,只有A判断的主项是周延的,根据规则1,这唯一周延的项必须充当中项(否则就要犯“中项不周延”的错误),因此,小项在前提中就不会周延,根据规则2,它在结论中也不得周延(否则就要犯“小项不当周延”的错误).小项在结论中是主项,它不周延,结论就只能是特称判断.第二种,AO(或OA)组合,即一个前提是全称肯定判断,另一前提是特称否定判断.在这种组合中,有两个项(A判断的主项和O判断的谓项)是周延的.由于前提中有一否定判断,根据规则4,结论必为否定判断,大项在结论中周延(否定判断谓项周延),又根据规则2,大项在前提中也必须周延(否则就要犯“大项不当周延”的错误).因此,AO(或OA)组合两个周延的项必须有一个是大项,而另一个充当中项(否则就要犯“中项不周延”的错误).这样,小项在前提中就不周延,根据规则2,它在结论中也不得周延,所以结论只能是特称判断.第三种,EI(或IE)组合,即一个前提为全称否定判断,另一前提为特称肯定判断.这种组合中,也有两个项(E判断的主项和谓项)是周延的,与第二种组合一样,这两个项也必须充当大项和中项,所以只能推出特称的结论.第四种,EO(或OE)组合,即一个前提是全称否定判断,另一前提为特称否定判断.这种组合违反规则3“从两个否定的前提不能必然得出结论”,推不出任何确定的结论.上述四种组合中,三种组合只能得特称结论,第四种组合不能得出结论,所以说,若前提有一特称判断,则结论必为特称判断.杨树森《逻辑学》,高等教育出版社2010年4月版,102-103页
为您推荐：
其他类似问题
扫描下载二维码如何证明你的屋子里没有一头犀牛【逻辑学吧】_百度贴吧
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&签到排名：今日本吧第个签到，本吧因你更精彩，明天继续来努力！
本吧签到人数：0成为超级会员，使用一键签到本月漏签0次！成为超级会员，赠送8张补签卡连续签到：天&&累计签到：天超级会员单次开通12个月以上，赠送连续签到卡3张
关注：33,760贴子：
如何证明你的屋子里没有一头犀牛收藏
如何证明楼主没有发这个帖子
逻辑上分正向推导与反向推导，正向推导即推导出没有犀牛的一切条件我都具备，那么我屋子里面没犀牛，反向推导即先假设我屋子里有犀牛的一切条件，全部推翻后，证明我屋子里没有犀牛
问题是，我为什么要证明？你觉得有也好，没有也好，关我屁事
【你的屋子里没有一头犀牛】，【你的屋子里有一头犀牛】；这两个命题是单称命题。一个单称命题，不能证明它为真、或证明它为假。但是，你可以直接认定它为真，我也可以认定它为假。
登录百度帐号推荐应用逻辑学试题及答案(分析题、证明题、综合题)_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
逻辑学试题及答案(分析题、证明题、综合题)
上传于|0|0|暂无简介
阅读已结束，如果下载本文需要使用0下载券
想免费下载更多文档？
定制HR最喜欢的简历
你可能喜欢导读：【判断题】否定命题是指通过对一个命题加上否定逻辑联结词“并非”所形成的命题，基于的逻辑算子规则不包括（），不需要注意逻辑技术符号，C、逻辑等值，D、逻辑验算，【判断题】逻辑蕴涵思想为真值函项论证有效提供了理由，4【判断题】否定命题是指通过对一个命题加上否定逻辑联结词“并非”所形成的命题。（）我的答案：√得分：25.0分复合命题论证：合取论证与析取论证已完成成绩：100.0分1【单选题】条件命题
【判断题】否定命题是指通过对一个命题加上否定逻辑联结词“并非”所形成的命题。（） 我的答案：√得分： 25.0分
复合命题论证：合取论证与析取论证已完成成绩： 100.0分
【单选题】条件命题可以分为（）。
A、充分条件命题
B、必要条件命题
C、充要条件命题
D、以上都对
我的答案：D得分： 33.3分
【单选题】析取命题又称为（）。
A、否定命题
B、肯定命题
C、选言命题
D、全称命题
我的答案：C得分： 33.3分
【判断题】在自然语言中，所有的有效论证都与我们给定的形式是相匹配的。（）我的答案：×得分： 33.3分
复合命题论证：条件论证与二难论证已完成成绩： 25.0分
【单选题】标志词“如果”后面的命题被称为（）。
我的答案：B得分： 0.0分
【单选题】表达条件关系复句的常用关联词不包括（）。
A、当且仅当
B、当且惟若
C、只有……才……
我的答案：A得分： 0.0分
【单选题】（）是指前提或结论中至少有一个条件命题的论证。
A、前提论证
B、结论论证
C、条件论证
D、命题论证
我的答案：C得分： 25.0分
【判断题】标志词“那么”后面的命题被称为结论。（）
我的答案：√得分： 0.0分
真值函项已完成成绩： 100.0分
【单选题】联结词“析取”通常用“（）”来表达。
我的答案：C得分： 25.0分
【单选题】在汉语中，联结词“合取”又被称为（）。
我的答案：C得分： 25.0分
【判断题】“合取”的真值规则是：只有当所有合取支为真时，它才为真，否则便为假。（） 我的答案：√得分： 25.0分
【判断题】“等值”的真值规则是：只有当前件和后件都具有不同的真值时才为真，否则为假。（）
我的答案：×得分： 25.0分
真值表的构造已完成成绩： 100.0分
【单选题】真值表可以用来判定（）。
A、蕴涵与有效性
C、重言式与矛盾式
D、以上都对
我的答案：D得分： 33.3分
【单选题】构造真值表，基于的逻辑算子规则不包括（）。
我的答案：A得分： 33.3分
【判断题】要构造复杂的真值命题的真值表，不需要注意逻辑技术符号。（）
我的答案：×得分： 33.3分
真值表的检验已完成成绩： 75.0分
【单选题】真值函项等值又被称为（）。
A、函项等值
C、逻辑等值
D、真值函项
我的答案：A得分： 0.0分
【单选题】（）是指一个论证有效性的形式证明。
A、文恩图检验
B、形式演绎
D、逻辑验算
我的答案：B得分： 25.0分
【判断题】逻辑蕴涵思想为真值函项论证有效提供了理由。（）
我的答案：√得分： 25.0分
【判断题】真值函项等值是指如果两个命题必然具有相同的真值，那么它们就是真值函项等值的。（）
我的答案：√得分： 25.0分
形式演绎已完成成绩： 100.0分
包含总结汇报、党团工作、旅游景点、资格考试、专业文献、人文社科、word文档、文档下载、考试资料、IT计算机、应用文书、教学教材、外语学习、行业论文以及2016年尔雅通识课《逻辑学导论 》
课后题等内容。本文共9页
相关内容搜索}