Course page Home page Home page CoursesNew course

Syntax of propositional logic: Mathematical Logic course | Zoonk

7. Syntax of propositional logic

Defines propositional variables, logical connectives, formation rules, parse trees, and structural induction on formulas. Learners construct and analyze well-formed formulas without relying on ambiguous natural language.

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