ula_7和formula_8的真值表的方式定义，因为那是给实质条件用的。实际上有些不同的情况在formula_7和formula_8的真值上是一致的，但是仍希望给出不同的formula_14的求值。例如，如果小明在德国，则下列两个条件都有假的前件和假的后件：实际上，如果小明在德国，则所有三个情况“小明在美国”、“小明在非洲”和 “小明在北美洲”都是假的。但是，第一种情况明显是假的：美国不在非洲；第二种情况是真的：美国是北美国家。
语义.哲学家如David Lewis和Rob