Here is a quick look at Syllogisms and how to apply rules to check validity.