Which rule is used in the following inference? $$\begin{array} { l }
\mathrm { D } \vee \mathrm { L } \
\frac { \sim \mathrm { D } } { \mathrm { L } }
\end{array}$$

Question

Which rule is used in the following inference? $$\begin{array} { l } 
\mathrm { D } \vee \mathrm { L } \
\frac { \sim \mathrm { D } } { \mathrm { L } }
\end{array}$$

Quizplus · Accepted Answer

This inference uses the Disjunctive Syllogism (DS) rule, which allows one to infer that if one disjunct of a disjunction is false, then the other must be true. Here, given $D \vee L$ and $\sim D$, it follows that $L$ must be true.

Which Rule Is Used in the Following Inference D∨L∼DL\begin{array} { l } \mathrm { D } \vee \mathrm { L } \\\frac { \sim \mathrm { D } } { \mathrm { L } }\end{array}D∨LL∼D​​

Which Rule Is Used in the Following Inference $\begin{array} { l } \mathrm { D } \vee \mathrm { L } \\\frac { \sim \mathrm { D } } { \mathrm { L } }\end{array}$