A Quick Introduction to Mathematical Logic

Abstract: In this work, we provide a quick introduction to the classical results about propositional logic, first-order logic, proof system and (basic) model theory, for the readers who are familiar with (informal) set theory and logic. We will cover the completeness theorem of first-order logic, the compactness theorem, Tarski’s undefinability theorem and Gödel’s incompleteness theorem, and is suitable for mathematics or computer science students who are interested in mathematical logic.

Table of Content

  1. Introduction
  2. Propositional Logic
  3. First-Order Logic
  4. Proof System
  5. Soundness and Completeness
  6. Model Theory
  7. Incompleteness
  8. Reference

Download PDFlogic.pdf

PS: 这是2020 年春《逻辑学基础理论》和《计算理论》(数理逻辑部分)的一份简要笔记。

本文标题:A Quick Introduction to Mathematical Logic



许可协议: 署名-非商业性使用-禁止演绎 4.0 国际 转载请保留原文链接及作者。