证明: 前提(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 2

题目：证明: 前提(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⑴⑼合取以上证明方法是用归谬法，证明过程是正确的。

答案：评论后可见此内容

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

超星学习通

随机主题

急性弥漫性增生性肾小球肾炎尿的改变（专升本）肠套叠最常见的类型是哪一种？大叶性肺炎灰色肝样变期肺泡腔内充满解决（）问题，实现祖国完全统一，是中国共产党矢志不渝的（）任务，是全体中华儿女的共同愿望，是实现中华民族伟大复兴的（）要求。重度脱水和轻度脱水的主要区别是 07-21 、HAVING子句的效果与WHERE子句类似，某些情况下二者可以互换。计算机经过几个阶段的技术发展，呈现怎样的变化趋势。关于微生物实验室的个人防护，下列说法中错误的是（）。关于上颌第二前磨牙说法错误的是对重要问题提出见解和处理办法的公文叫（）。各种法律文书都必须依法制作，这是法律文书制作的前提，也可以说是文书立意的依据。前牙切割功能主要是通过（）咬合实现下列输出结果是（） int a = 0 ; while ( a < 5 ) { switch(a){ case 0: case 3 : a = a + 2; case 1 : case 2 : a = a + 3; default : a 对新生儿NEC的确诊有意义的辅助检查是？霍桑实验由几项不同的实验组成，并且持续多年，这项研究为组织行为学的发展作出了最为重要的贡献。污水的处理方法有：（　）。环境变化一般只影响（　）。关于体热平衡下列说法不正确的是：（　）。双断口灭弧多用于小容量电器中单根牙齿受到侧向力时，其受力方式是第（）类杠杆

最新回复(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⑹等值替