Logic 6: Language of Propositional Logic - UZH

Logic 6: Language of Propositional Logic

From Marius Furter

views comments

We formally define the syntax of propositional logic and prove a unique parsing theorem for its formulas.

Tags