Conjunción disyuntiva (lógica) v
Este símbolo es utilizado en lógica para indicar la conjunción disyuntiva ‘o’. Es decir: AVB quiere decir ‘A o B’. De otro modo: AB es verdad si A lo es, o B lo es, o ambas.
Se usa por ser ‘v’ la inicial de la conjunción disyuntiva latina vel.
El primer uso del que tengo noticia está en los Principia mathematica (1910) de Whitehead y Russell, aunque es de señalar que Peano, en su Formulaire de mathématiques (1895), usaba el signo
.

Fuente: A History of mathematical Notations, #688 y ss; web: Mathworld