Course page Home page Home page CoursesNew course

Metatheory of propositional logic: Mathematical Logic course | Zoonk

10. Metatheory of propositional logic

Proves soundness, completeness, consistency, and decidability for propositional systems. Learners separate claims made inside a formal system from metatheoretic claims about that system.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc