推理中的附加前提的规则谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的不加呢?例:前提:w→(˥(r∧s)→˥q),w,˥s结论:˥q&
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/19 13:36:07
![推理中的附加前提的规则谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的不加呢?例:前提:w→(˥(r∧s)→˥q),w,˥s结论:˥q&](/uploads/image/z/11944407-39-7.jpg?t=%E6%8E%A8%E7%90%86%E4%B8%AD%E7%9A%84%E9%99%84%E5%8A%A0%E5%89%8D%E6%8F%90%E7%9A%84%E8%A7%84%E5%88%99%E8%B0%93%E8%AF%8D%E6%BC%94%E7%AE%97%E7%9A%84%E6%8E%A8%E7%90%86%E4%B8%AD%2C%E9%99%84%E5%8A%A0%E5%89%8D%E6%8F%90%E5%BC%95%E5%85%A5%E6%9C%89%E4%BB%80%E4%B9%88%E8%A7%84%E5%88%99%3F%E4%B8%BA%E4%BB%80%E4%B9%88%E5%9C%A8%E6%8E%A8%E7%90%86%E8%BF%87%E7%A8%8B%E4%B8%AD%E7%94%A8%E5%88%B0%E9%99%84%E5%8A%A0%E5%89%8D%E6%8F%90%2C%E6%9C%89%E7%9A%84%E5%89%8D%E6%8F%90%E8%A6%81%E5%8A%A0%E5%90%A6%E5%AE%9A%2C%E6%9C%89%E7%9A%84%E4%B8%8D%E5%8A%A0%E5%91%A2%3F%E4%BE%8B%EF%BC%9A%E5%89%8D%E6%8F%90%EF%BC%9Aw%E2%86%92%28%26%23741%3B%28r%E2%88%A7s%29%E2%86%92%26%23741%3Bq%29%2Cw%2C%26%23741%3Bs%E7%BB%93%E8%AE%BA%EF%BC%9A%26%23741%3Bq%26)
推理中的附加前提的规则谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的不加呢?例:前提:w→(˥(r∧s)→˥q),w,˥s结论:˥q&
推理中的附加前提的规则
谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的不加呢?
例:前提:w→(˥(r∧s)→˥q),w,˥s
结论:˥q
˥(˥q) P(附加前提)
为什么要加否定?
证明:A→(B→C),˥D∨A,B˫D→C
D P(附加前提)
这个D是哪个D?是˫之前的D还是之后D→C中的D?
3.证明:(∀x)(G(x)∨Q(x)) ˫ (∀x)G(x)∨(∃x)Q(x)
:
(1) ˥((∀x)G(x)∨(∃x)Q(x)) P(附加前提)
(2) .
这个附加前提,是 ˫ 符号后面的结论吗?为什么要加否定?
4.证明:(∀x)(G(x) ∨Q(x)) ˫ ˥(∀x)G(x) →(∃x)Q(x)
(1)˥(∀x)G(x) P(附加前提)
(2).
这个(1)步中的附加前提是 ˫ 符号后的结论中的˥(∀x)G(x)还是前提(∀x)(G(x) ∨Q(x))演化过来的?如果是˫ 符号后的结论中的前提为什么这个没有加否定呢?
推理中的附加前提的规则谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的不加呢?例:前提:w→(˥(r∧s)→˥q),w,˥s结论:˥q&
1.加否定是用的反证法,当然也可以不用附加的,也可以做的
2.是结论中的D,这个问题不晓得说明你没看CP规则呀,
结论是P→Q 格式的,可以把结论中的前件也作为推理的前提,使结论只为Q .
额 到另外的问题那回答吧