O lógico

Surgió de la lógica formal a principios del siglo XX.

Leibniz usó una marca parecida a una letra para «o» en un manuscrito de 1679, pero un estudio histórico de 2023 no vincula el signo actual ni con ella ni simplemente con el latín vel («o»). Bertrand Russell, trabajando con Alfred North Whitehead en 1902–1903, usó una notación afín para separar el «o» entre enunciados de la unión de conjuntos; ∨ apareció impreso por primera vez para la disyunción en 1906.