Compare the two connections:
Necessary: “If Zayd is human, he is an animal.” Animality is included in humanity.
Coincidental: “If Zayd is writing, Amr is in the garden.” Both may happen to be true, but Zayd’s writing does not entail Amr’s location.
Thus the wording “if … then …” does not itself prove a necessary link. One must identify the genuine relation between antecedent and consequent.
Opening interactive controls...
Conditional Propositions: Connectives, Disjunctions and Their Main Kinds
Compare the two connections:
Necessary: “If Zayd is human, he is an animal.” Animality is included in humanity.
Coincidental: “If Zayd is writing, Amr is in the garden.” Both may happen to be true, but Zayd’s writing does not entail Amr’s location.
Thus the wording “if … then …” does not itself prove a necessary link. One must identify the genuine relation between antecedent and consequent.