disjunctive-syllogism-1 (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
disjunctive-syllogism-1 is the inference-rule:
\[\left( \left( \boldsymbol{P} \lor \boldsymbol{Q} \right), \neg \boldsymbol{P} \right) \vdash \boldsymbol{Q}\]