Question

附加前提引入时有的加否定谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的

Answer 1

1.在结论前加否定是用的反证法, 当然也可以不用附加的,也可以做的

2.是结论中的D,呵呵 这个问题不晓得说明你没看CP规则呀,

结论是P→Q 格式的,可以把结论中的前件也作为推理的前提,使结论只为Q .

3.这个跟第一个一样啊,都是用的反证法呀

4.这个跟第二个问题一样啊 好好看下CP规则啊 很简单的

要多多做题啊 熟能生巧啊