Codex Wiki
OurBigBook.com
Site
Source code
Consistent set of formulae
Home
Mathematics
Area of mathematics
Foundations of mathematics
Mathematical logic
Propositional logic
OurBigBook.com
Words: 25
A set
S
is syntactically consistent when
S
⊢
⊥
. Equivalently in classical logic, there is no formula
φ
for which both
S
⊢
φ
and
S
⊢
¬
φ
.
Ancestors
(6)
Propositional logic
Mathematical logic
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Solution