Course page Home page Home page CoursesNew course

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

14. Semantics of first-order logic

Covers structures, interpretations, assignments, satisfaction, models, and semantic consequence. Learners evaluate formulas in finite structures and construct models or countermodels for quantified claims.

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