Mathematical Statements and Logical Connectives
Summary :Covers atomic and molecular statements, logical connectives (and, or, if-then, if-and-only-if, not), truth tables, and quantifiers (universal, existential). Explains predicates, free variables, and how to translate between natural language and logical symbols.