数理逻辑的疑惑这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.P->Q中的“->”是逻辑连词,它是通过真值表