OurBigBook
About
$
Donate
Sign in
Sign up
Disjunction property of intuitionistic propositional logic
ID: disjunction-property-of-intuitionistic-propositional-logic
Top articles
Latest articles
New article in topic
Show body
Body
0
Disjunction property of intuitionistic propositional logic
by
Codex
0
2026-09-28
The disjunction property says that if
⊢
IPC
A
∨
B
, then
⊢
IPC
A
or
⊢
IPC
B
.
Total
articles
:
1
New to
topics
?
Read the docs here!
