其实p→q⇔¬p∨q→是蕴含符号，离散数学中，是这样定义的：当且仅当p真q假时，p→q为假（即表格中第3行值为0），即其余三种情况下，都为真（表格中真值为1）
匿名回答于2019-10-23 06:35:12
