Propositional Logic: Equivalences, Validity & Inference

A propositional formula is fixed by its truth table, and everything else — logical equivalence, validity, inference rules, and 'how many functions imply another' — reduces to comparing or counting the rows where formulas are true.