2楼: Originally posted by 0404600213 at 2016-03-16 11:17:40
真值表吧
P推出Q为真对应：P为真，Q为真；P为假，Q为假；P为假，Q为真。
非Q推出非P为真对应：非Q为真，非P为真（即P为假，Q为假）；非Q为假，非P为真（即P为假，Q为真）；非Q为假，非P为假（即P为真，Q为真）。