This document provides an overview of the key concepts in logic. It defines logic as the study of correct reasoning and distinguishes it from the psychology of reasoning, which studies how people actually reason. It provides examples of valid arguments and explains that logic is concerned with validity, not soundness or truth. The document also notes that logic establishes necessary principles of reasoning that are topic-neutral, unlike empirical sciences.