Jonathan Ly

Student at the University of Washington - B.Sc. in Computer Science

Γ \cup {A} ⊢ B

Γ ⊢ A \to B

The Deduction Theorem

Or, an introduction to the metatheory of propositional logic.

A lesson in Turing machines, complexity theory, and a note to myself to be careful for implicit assumptions.