证明: 前提(p∧q)→r，¬r∨s，¬s，p 结论¬q 过程如下：证明： ⑴ q P(结论否定附加前提引入) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶析取三段论 ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸拒取式 ⑺ ¬p∨¬q T⑹等值替

lk2024-12-19 12

题目：证明: 前提(p∧q)→r，¬r∨s，¬s，p 结论¬q 过程如下：证明： ⑴ q P(结论否定附加前提引入) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶析取三段论 ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸拒取式 ⑺ ¬p∨¬q T⑹等值替换 ⑻ p P ⑼ ¬q T⑺⑻析取三段论 ⑽ q∧¬q(矛盾) T⑴⑼合取以上证明方法是用归谬法，证明过程是正确的。

答案：评论后可见此内容

本站资源均来自互联网，侵权请联系站长删除

超星学习通

随机主题

十进制数78.5转换为十六进制表示为（）。罗尔斯思想实验中的无知能够过滤掉每个人的共同性。（）运营分析控制的方法包括（）根据社会保险法律制度的规定,参加职工基本养老保险的个人,达到法定退休年龄且累计缴费满一年限的,方可享受职工基本养老保险待遇,该年限为( )(2018年)以下哪一项不符合海德格尔对尼采哲学的态度：（）什么反应是某些金属或它们的化合物在无色火焰中灼烧时呈现特征颜色?()根据海德格尔的观点，存在与存在者之间的悖论关系是存在者通过存在显现但又能被存在遮蔽。（）三角肌不能使肩关节只与一个性伴发生性行为可以减少艾滋病传播。大隐静脉组织氛围影响个体的态度、情绪和行为，个体的态度、情绪和行为也会影响组织氛围。()喉腔最狭窄的部位是某企业当年利润总额为1000万元，当年对外公益性捐赠产品一批，产品成本为100万元，市场售价为200万元，增值税税率为13%，假设不考虑其他事项，该企业申报当年企业所得税时（）在煤层底板等高线图上，等高线彼此平行就一定是单斜构造。在实施任何急救时，首先应该做的是()5G技术在工业互联网中的主要应用包括高速通信、低功耗和大规模连接。高速公路横断面就其整体而言，它是包括行车道、中央分隔带、路肩、边坡、边沟以及用地范围内的护栏、标志、照明、防护栅、植树绿化、取土坑等与地面线所围成的整个断面。关于平纵组合设计，正确的有印花税是( )的一种。信息时代的生产技术中，下列哪种技术被广泛应用于物联网中的安全和隐私保护？

最新回复(0)

证明: 前提(p∧q)→r，¬r∨s，¬s，p 结论¬q 过程如下： 证明： ⑴ q P(结论否定附加前提引入) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶析取三段论 ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸拒取式 ⑺ ¬p∨¬q T⑹等值替

超星学习通

🔥推荐

证明: 前提(p∧q)→r，¬r∨s，¬s，p 结论¬q 过程如下：证明： ⑴ q P(结论否定附加前提引入) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶析取三段论 ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸拒取式 ⑺ ¬p∨¬q T⑹等值替