我觉得这个问题用具体例子比较好解决一点。数理逻辑中运用的是实质蕴涵，这种蕴涵只关注前后件的真假与整个条件命题的真假的关系。

等效的表述方式：

若p则q 等效于 非（p且非q）。

用0表示假命题，用1表示真命题，“若p则q”其实是p小于等于q的意思。

p为真，等于1，“p小于等于q"，q只能也为1。

p为假，等于0，“p小于等于q"，q为1或0都可以。

这个例子还可以这样理解：如果我有空，就和你约会，等效于我绝不可能有时间也不和你约会。之所以定义“若p则q”很方便，其实与它的名字有关，它叫“蕴含”，从名字可以看出，这个表达式隐含着序性。前件为假，后件必为真。因为前提已经失真，后件无论真假都要认为结果为真，否则蕴含推导不能成型。也就是说前件已经违反了原提议，那样的话无论后件如何回答都不能说"错",汉语意思上可以这样理解，因为高考题目本身出错，所以无论选择哪一个不能扣分。

逻辑学中，这个例子只需要关注真假，不需要关心具体内容，把内容抽取出来而进行一般地形式化处理，可以更方便人们进行推理，凡是遇到这种直陈条件句都可以做这样的处理。也正是由于只关心真假，导致了所谓的“实质蕴涵悖论”，又称“实质蕴涵怪论”。