?S $\frac { \sim \mathrm { S } \supset \mathrm { F } } { \mathrm { F } }$
A) MP-valid.
B) AC-valid.
C) MT-valid.
D) AC-invalid.
E) DS-valid.

Question

Quizplus · Accepted Answer

Modus Ponens (MP) is a valid rule of inference that allows us to infer the consequent of a conditional statement if we know that the antecedent is true. In this case, we know that $\sim \mathrm { S } \supset \mathrm { F }$ is true, and we also know that $\sim \mathrm { S }$ is true. Therefore, we can infer that $\mathrm { F }$ is true.

?S ∼S⊃FF\frac { \sim \mathrm { S } \supset \mathrm { F } } { \mathrm { F } }F∼S⊃F​

?S $\frac { \sim \mathrm { S } \supset \mathrm { F } } { \mathrm { F } }$