否定前件（denying the antecedent）或假值传递是一种形式谬误，其形式如下：范例：