PreCalculus Logic Notes

These notes develop a rigorous foundation for mathematical reasoning, starting from the notion of propositions and truth values, and building up to formal systems of propositional and first-order logic. Along the way, they connect informal argument patterns to precise axioms, rules of inference, and proof techniques.