离散数学中过于 P蕴含Q 的真假问题

其实p→q⇔¬p∨q→是蕴含符号，离散数学中，是这样定义的：当且仅当p真q假时，p→q为假（即表格中第3行值为0），即其余三种情况下，都为真（表格中真值为1）。