This document defines propositions and their classification in symbolic logic. A proposition is a statement that is either true or false, but not both. Propositions can be simple, which have the most basic sentence structure, or compound, which are the union of two or more simple propositions joined by connectors like "and" or "or". The document provides examples of simple and compound propositions and explains how to identify whether a statement is a proposition or not based on if it can be proven true or false.