level 11
逻辑的假设证明，极像数学的综合题。一堆已知条件，如同乱麻一般。
又是假设又是反设 。不知从何入手。
请内行就此例，做一大概的分析，提示。
2018年06月21日 08点06分
1
又是假设又是反设 。不知从何入手。
请内行就此例，做一大概的分析，提示。
可以直接反设~(B∨C)
2018年06月21日 09点06分
level 12
level 11
这个更难琢磨 ，连结果都没有，找不着方向？？
1假设和反设的依据是什么?
2 先反设 -C 往下推出 A，-A 矛盾 说明反设错误 那这一段推理有效还是无效？
2018年06月21日 09点06分
5
1假设和反设的依据是什么?
2 先反设 -C 往下推出 A，-A 矛盾 说明反设错误 那这一段推理有效还是无效？
xsyu90：请您对问题2作以解答！
2018年06月22日 04点06分
这个证明里，第16步，根据【~消去】规则，得到C。该步骤是正确的。所谓【~消去】，有多种叫法，意思相同。例如，反证法、归谬法、间接证明法IP，等。
2018年07月27日 07点07分
这个证明里，第17步，根据【→消去】规则，得到B→C。该步骤是正确的。所谓【→引入】，有多种叫法，意思相同。例如，条件证明法CP，等。IP规则与CP规则，是相似的。都有明确的假设辖域。
2018年07月27日 08点07分
level 12
第二题想要证明什么
2018年06月21日 09点06分
7
它最后推出 B->C 好像就是导出的结论。
2018年06月21日 10点06分
@333xxxyyywww33 那就先得假设B，因为已知前提集A和假设的前提B合取地能推出C的话，已知前提集A就能得到B→C。写出来就是((A∧B)→C)→(A→(B→C))。
2018年06月21日 10点06分
level 11
level 8
命题逻辑不需要这么麻烦，直接合取已知命题，可以直接得到结论。
2018年06月21日 10点06分
9
你是说全部合取，然后化简 。结论是唯一的。 是这意思？
2018年06月21日 11点06分
@333xxxyyywww33 把所有已知命题合取，再利用推演规则变形就可以得到结论。
2018年06月21日 11点06分
@333xxxyyywww33 变形结果肯定不唯一，但是如果题目正确，肯定能得到结论的。还有个更通用的方法，就是用已知蕴涵结论，转化成合取范式，一定是重言式。
2018年06月21日 11点06分
level 11
darwinsy
先生所言甚是！！！
2018年06月21日 12点06分
11
先生所言甚是！！！
你这儿用了语义。跟主贴里语法的证明（形式证明）不是一回事儿了。
2018年06月22日 12点06分
@SnowOnion 请您解答5楼疑惑。谢谢！
2018年06月22日 13点06分
@333xxxyyywww33 我不熟悉自然演绎
2018年06月22日 13点06分
@333xxxyyywww33 此种写法的确涉及了语义，也就是真值。不过只要把“＝”换成“├”，不出现那个“1”，就是形式证明了，每一步在系统中都是可以找到根据的。
2018年06月22日 21点06分
level 12
@333xxxyyywww33 有根据！要得到结论为蕴涵句，譬如有已知前提集A，要得到B→C的结论，首先得假设B。A∧B→C，∴A→(B→C)。这是规则D或者→+。条件不够视情况假设反设，没有什么不好理解的。
2018年06月21日 13点06分
12
吧务
level 14
吧务
level 14
level 11
