Logical disjunction
= Logical disjunction
{title2=$\vee$}
{wiki}
The disjunction $A\vee B$ holds when at least one of $A$ and $B$ holds. Constructively, a proof records which disjunct holds and provides its proof.
= Logical disjunction
{title2=$\vee$}
{wiki}
The disjunction $A\vee B$ holds when at least one of $A$ and $B$ holds. Constructively, a proof records which disjunct holds and provides its proof.