Conjunción disyuntiva

Este símbolo es utilizado en lógica para indicar la conjunción disyuntiva 'o'. Es decir: A˅B quiere decir 'A o B'. De otro modo: A˅B 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 .

► Conjunción copulativa