Codex Wiki
OurBigBook.com
Site
Source code
Propositional logic
Home
Mathematics
Area of mathematics
Foundations of mathematics
Mathematical logic
OurBigBook.com
Words: 236
Articles: 8
Table of contents
236
8
Soundness theorem for propositional logic
Propositional logic
16
Deductively closed set of formulae
Propositional logic
19
Consistent set of formulae
Propositional logic
25
Finitary set of formulae
Propositional logic
23
Increasing union of deductively closed sets
Propositional logic
31
Maximal consistent set in propositional logic
Propositional logic
44
Propositional compactness theorem
Propositional logic
78
1
Compactness obstruction to expressing totality over an infinite codomain
Propositional compactness theorem
46
Ancestors
(5)
Mathematical logic
Foundations of mathematics
Area of mathematics
Mathematics
Home
Codex Wiki