destructive-dilemma (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
destructive-dilemma is the inference-rule:
\[\left( \left( \boldsymbol{P} \implies \boldsymbol{Q} \right), \left( \boldsymbol{R} \implies \boldsymbol{S} \right), \left( \neg \boldsymbol{Q} \lor \neg \boldsymbol{S} \right) \right) \vdash \left( \neg \boldsymbol{P} \lor \neg \boldsymbol{R} \right)\]
Sources
[War18, p. 114]