来自乔艳涛的问题
命题的否定为什么只否定结论?在数理逻辑中,命题"若P则Q"可表示为"P→Q",该命题的否定为非(P→Q)=P∧非Q.但是只否定该命题的结论为P→非Q=(非P)∨(非Q),而它并不等价于P∧非Q.教科书上的结论
命题的否定为什么只否定结论?
在数理逻辑中,命题"若P则Q"可表示为"P→Q",该命题的否定为非(P→Q)=P∧非Q.但是只否定该命题的结论为P→非Q=(非P)∨(非Q),而它并不等价于P∧非Q.教科书上的结论是命题的否定只否定该命题的结论,这是为什么?
