Logic

Thu, 09 Jul 2026 21:02:56 +1000

logic is the study of valid inference: which conclusions are forced by which premises, independent of what the premises are about. 𐃏 it splits cleanly into a syntax (formulas, and rules for pushing them around) and a semantics (truth assignments, models), and the deepest theorems in the subject are exactly the ones that say when the two agree (Epp, Susanna S., 2019).

Natural-Deduction on Aayush Bajaj's Augmenting Infrastructure

Logic