关于必要性的证明我有点疑问，这里真的证明了必要性吗？
为了叙述方便，不妨把必要性的证明抽象为证明A->B。
上述答案只证明了：当B不成立的时候，A与B的否命题会产生矛盾，所以就认为B的否为假，因此证明B为真。
后来想到运用数理逻辑的方法来解释我的困惑：反证法得出A∧﹁B为假，能否得出A->B。
求解思路如下：
因为数理逻辑过去一个学期了，所以只记得一点了
数理逻辑分析反证法
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
