关于必要性的证明我有点疑问,这里真的证明了必要性吗?
为了叙述方便,不妨把必要性的证明抽象为证明A->B。
上述答案只证明了:当B不成立的时候,A与B的否命题会产生矛盾,所以就认为B的否为假,因此证明B为真。
后来想到运用数理逻辑的方法来解释我的困惑:反证法得出A∧﹁B为假,能否得出A->B。
求解思路如下:
因为数理逻辑过去一个学期了,所以只记得一点了
关于必要性的证明我有点疑问,这里真的证明了必要性吗?
为了叙述方便,不妨把必要性的证明抽象为证明A->B。
上述答案只证明了:当B不成立的时候,A与B的否命题会产生矛盾,所以就认为B的否为假,因此证明B为真。
后来想到运用数理逻辑的方法来解释我的困惑:反证法得出A∧﹁B为假,能否得出A->B。
求解思路如下:
因为数理逻辑过去一个学期了,所以只记得一点了