mathswitch — infrastructure for relaying and exchanging mathematical concepts

Logical disjunction

(no description is available)

Encyclopedia of Mathematics: Disjunction
MathWorld: Disjunction
Wikipedia (English): Logical disjunction
Agda Unimath: disjunction (of propositions)
Wikidata: logical disjunction