See: Logical Implication Relation, Implicit Reference, Conditional Statement, Necessary Condition, Sufficient Condition, Logical Consequence, Material Conditional, Material Implication.