proofs in first-order logic

(2.8 hours to learn)


One can prove statements in first-order logic using a formal deductive calculus. Such a formal proof system is a central tool in the foundations of mathematics, since it serves as a formal model of mathematical reasoning more generally.


This concept has the prerequisites:


  • Be able to prove statements in a formal first-order proof system.

Core resources (read/watch one of the following)


Coursera: Introduction to Logic (2014)
An introductory logic course geared towards computer scientists.
Author: Michael Genesereth
Other notes:
  • This actually covers relational logic, but at the level of this concept node, most of the ideas are the same. See the bonus lecture "First order logic (a very brief introduction)" for an explanation of the differences.
  • Click on "Preview" to see the videos.


Supplemental resources (the following are optional, but you may find them useful)


See also

-No Additional Notes-