Course page Home page Home page CoursesNew course

Syntax of first-order logic: Mathematical Logic course | Zoonk

13. Syntax of first-order logic

Defines constants, function symbols, predicate symbols, terms, atomic formulas, substitution, and variable capture. Learners design first-order languages for arithmetic, graphs, orders, and everyday rule systems.

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