Module II·3 articles·~18 min

First-Order Predicate Logic

Predicates, quantifiers, structures, and Gödel’s completeness theorem

Make a podcast about this module

Pick voices and format — AI generates the episode

§ 01 — Articles

§ 02 — Practice

Test what you've learned in this module.

Discuss with AI

An AI tutor that knows this module.