"如果…那么…"是逻辑中最反直觉的联结词，也是人类最容易出错的地方

实质蕴含的真值表中，"前件为假时蕴含自动为真"这一规定与人类直觉严重冲突。但这恰恰说明了逻辑语法的一个深刻特征：逻辑的规则不以人类直觉为基准，而是以**保真性**（从真前提到真结论的保证）为唯一标准。这与数学公理的选择类似——公理不是"显然正确的"，而是"选了之后系统最有用的"。