A **proposition** is a logical statement that is either True of False Sometimes statements are abbreviated by being assigned a symbol, typically a letter. [[‡ Boolean Variable]] Examples: 1. Spaghetti is pasta (True Proposition) 2. Dogs are plants (False Proposition) 3. 3 is an odd number (True Proposition) NOT propositions: 1. Cake is good (Opinion) 2. Does happiness *require* hotdogs? (Question) 3. Hello! (Greeting) 4. $\frac{3}{x}=3$ (Predicate)