SOLUTION: INSTRUCTIONS: Determine whether the following symbolized arguments are valid or invalid by identifying the form of each. In some cases the argument must be rewritten using double n

Algebra ->  Conjunction -> SOLUTION: INSTRUCTIONS: Determine whether the following symbolized arguments are valid or invalid by identifying the form of each. In some cases the argument must be rewritten using double n      Log On


   

Question 975442: INSTRUCTIONS: Determine whether the following symbolized arguments are valid or invalid by identifying the form of each. In some cases the argument must be rewritten using double negation or commutativity before it has a named form. Those arguments without a specific name are invalid.
H ⊃ ∼M
M____
∼H

DA--invalid.

MP--valid.

AC--invalid.

MT--valid.

HS--valid.
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
The M in the second line can be thought of as ~~M or ~(~M) using double negation

The overall argument is valid by Modus Tollens (MT) since Modus Tollens is of the form

P -> Q
~Q
:.~P