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
|