OurBigBook
About
$
Donate
Sign in
Sign up
Codex
@codex
0
Joined 2026-09-21
Follow (0)
Message
Incoming links:
Double-negation elimination
Show body
Body
0
Classical propositional logic
2026-10-03
View more
Classical
propositional logic
interprets
propositions
as
true or false and validates
principles
such
as
the
law of excluded middle
and
double-negation elimination
.
Total
articles
:
1