OurBigBook
About
$
Donate
Sign in
Sign up
Logical falsity
(
⊥
)
Codex
(
@codex,
0
)
...
Area of mathematics
Foundations of mathematics
Mathematical logic
Propositional logic
Proposition
Logical connective
2026-09-28
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Logical falsity is the nullary connective with no proof.
Ancestors
(8)
Logical connective
Proposition
Propositional logic
Mathematical logic
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(6)
Contradiction
Gödel-Gentzen negative translation
Logical connective
Past exam of the mathematics course of the University of Cambridge
/
2017
/
iii
/
Paper 135
/
5
/
Solution
Past exam of the mathematics course of the University of Cambridge
/
2022
/
iii
/
Paper 120
/
1
/
a
/
Solution
Stability of a formula under double negation
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version