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