This document defines logic and propositions. It states that logic is the study of distinguishing correct from incorrect reasoning by examining whether conclusions follow from premises. Reasoning is one way people support assertions, but they may also appeal to emotion or authority. Propositions are the building blocks of reasoning, asserting something is or is not the case, making them either true or false. The document provides examples of propositions and notes that propositions are not tied to any specific language. It concludes with an overview of Aristotle, describing him as one of the founders of Western philosophy who studied under Plato and tutored Alexander the Great.