next up previous
Next: Set Theory Up: Foundations of Mathematics Previous: Foundations of Mathematics

First-order logic

1.
Propositional logic: provability, truth tables, consistency, compactness, completeness.
2.
First-order predicate logic: syntax and semantics.



root
1998-12-03