If this is true, either its consequent, x, is true, when the whole formula would be true, or its antecedent x → y is false.
如果它是真的，要么它的结论 x 是真，这时整个公式将是真的，要么它的前提 x —< y 是假的。