Course page Home page Home page CoursesNew course

Proof systems for propositional logic: Mathematical Logic course | Zoonk

9. Proof systems for propositional logic

Introduces natural deduction, axiomatic systems, and formal derivations for propositional logic. Practice includes proving sequents and identifying the exact rule that licenses each step.

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