Overview of logic fundamentals, argument types, categorical propositions, and inference methods used in introductory logic study.