1 paper · 1 filter
Landon D. C. Elkind, Richard Zach
The use of the symbol ∨ for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logic…