Which rule is used in the following inference? $A⋅BC⊃D\begin{array} { l } ( A \cdot B ) \supset ( C \supset D ) \\A \cdot B \\C \supset D \end{array}$

A) HS
B) MP
C) MT
D) CD
E) DD

Question

Which rule is used in the following inference?

A⋅BC⊃D\begin{array} { l } ( A \cdot B ) \supset ( C \supset D ) \\A \cdot B \\C \supset D \end{array}

A) HS
B) MP
C) MT
D) CD
E) DD

Jeanine Salloum · Accepted Answer

Final Answer : B, Explanation :   This inference uses Modus Ponens (MP), which states that if   p → q p \rightarrow q p → q   and   p p p   are both true, then   q q q   must also be true. Here,   p p p   is   ( A ⋅ B ) (A \cdot B) ( A ⋅ B )   and   q q q   is   ( C ⊃ D ) (C \supset D) ( C ⊃ D )  .

Which rule is used in the following inference? $A⋅BC⊃D\begin{array} { l } ( A \cdot B ) \supset ( C \supset D ) \\A \cdot B \\C \supset D \end{array}$

A) HS
B) MP
C) MT
D) CD
E) DD

Definitions

Learning Objectives

Learning Objectives

Related questions

Which rule is used in the following inference? (A⋅B) ⊃(C⊃D) A⋅BC⊃D\begin{array} { l } ( A \cdot B ) \supset ( C \supset D ) \\A \cdot B \\C \supset D \end{array}(A⋅B) ⊃(C⊃D) A⋅BC⊃D​ A) HSB) MPC) MTD) CDE) DD

Definitions

Learning Objectives

Learning Objectives

Related questions

Which rule is used in the following inference? $A⋅BC⊃D\begin{array} { l } ( A \cdot B ) \supset ( C \supset D ) \\A \cdot B \\C \supset D \end{array}$

A) HS
B) MP
C) MT
D) CD
E) DD