Intro to Philosophy Final Logic and Truth Valid argument forms

All M are P.
All S are M.
Therefor, all S are P

No M are P.
All S are M
Therefore, no S are P

All M are P.
Some S are M
Therefore, some S are P.

Hypothetical syllogisms: If P then Q
                                     If Q then R.
                                   Therefore, if P then R

Hypothetical syllogisms: If P then Q
                                     P.
                                    Therefore, Q

Hypothetical syllogisms: If P then Q.
                                    Not-Q
                                     Therefore, not-P

Either P or Q
Not-P
Therefore, Q