Mentioning the antecedent of a conditional does not by itself prove that the antecedent actually occurs.
Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts
Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts