题目内容

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

A. 对
B. 错

查看答案

搜索结果不匹配？点我反馈

更多问题

要证明C是一组前提A1，A2，…，An 的有效结论，只需证明A1∧A2∧…∧An→C为重言式。

A. 对
B. 错

个体，它是指可以独立存在的对象，它可以是一个具体事物，也可以是一个抽象的概念。

A. 对
B. 错

一般来说指明个体性质或指明个体之间关系的是谓词。

A. 对
B. 错

一般的，把与n个个体相关联的谓词叫做n元谓词。

A. 对
B. 错