#set-theory
Maths
›
03. Logic and Foundations
This volume develops formal logic, set theory, computability, and the foundations of mathematics in a unified way, where syntax, semantics, proof, and computation are treated as precise mathematical objects. Part I. Propositional and First-Order Logic Chapter 1. Propositional Logic This chapter introduces the basic language of propositional logic, its semantics, equivalence laws, normal forms, and the relation between proof and truth. 1.1 Syntax: Variables, Connectives 1.2 Semantics: Truth Tables 1.3...