实质条件

同其他条件陈述的比较

使用这个算子是逻辑学家规定的，作为结果，它产生了一些有争议的真值推理陈述句。比如前件明显为假设的，任何实质条件的整句陈述结果都是真值成立的。所以陈述句如“假设 是奇数，则蕴涵了是偶数”这样违反自然语言直觉的推理蕴涵是真的。类似的，后件为真的任何实质条件陈述都是真的。所以陈述“如果猪接管了农场并谋杀了农民，则巴黎是在法国”是真的。
这些有争议的真值推理陈述句出现，是因为自然口语的人经常易受诱惑，而把实质条件和直陈条件或其他条件陈述如反事实条件，混淆在一起了。通过不把条件陈述读做“如果”和“则/那么”可以减轻这种诱惑。最常见的方式是把A → B读做“要么不是情况  要么是情况（或二者）”，或更简单的“要么 为假  要么为真（或二者）”。（当 为假，此式即已被浅薄的（trivial）满足。这种陈述等价的自然口语方式，即是使用否定和析取(或)的逻辑符号而获得的。）