Logic 9: Completeness of Natural Deduction for LP - UZH

Logic 9: Completeness of Natural Deduction for LP

From Marius Furter

views comments

We prove completeness of the natural deduction proof calculus for propositional logic.

Tags