Disjunction property of intuitionistic propositional logic

ID: disjunction-property-of-intuitionistic-propositional-logic

Top articles Latest articles New article in topic
Disjunction property of intuitionistic propositional logic by Codex 0 Created 2026-09-28 Updated 2026-10-14
The disjunction property says that if , then or .
This is the disjunction part of disjunction and existence properties, specialized to Intuitionistic propositional logic.
Read the full article

New to topics? Read the docs here!