Simplification of disjunctive antecedents

In formal semantics and philosophical logic, simplification of disjunctive antecedents (SDA) is the phenomenon whereby a disjunction in the antecedent of a conditional appears to distribute over the conditional as a whole. This inference is shown schematically below: ( A ∨ B ) ⇒ C ⊨ ( A ⇒ C ) ∧ ( B ⇒ C ) {\displaystyle (A\lor B)\Rightarrow C\models (A\Rightarrow C)\land (B\Rightarrow C)} This inference has been argued to be valid on the basis of sentence pairs such as that below, since Sentence 1 seems to imply Sentence 2.

Source: Wikipedia — Simplification of disjunctive antecedents (CC BY-SA 4.0)