Logic

Decide whether each one is an instance of modus ponens, modus tollens, constructive dilemma, destructive dilemma, disjunctive syllogism, pure hypothetical syllogism or none. 1) (A ->B) => C (A-> B) c 1) DV ~( P . K) P . K D 2) [(Av B) > M] . [~K -> (P->S)] (AVB) V~K Mv (P->S) 3) M-> [K . (T=S)] [K. (T->S)] > [Mv (S.P)] M -> [Mv(S.P)] 4 ) ( P -> ~K ) . ( T > L ) KV~L "PV~T H 5 ) (MV N) > L ~(MV N)