Conjunción copulativa (lógica) ^
Este símbolo es utilizado en lógica para indicar la conjunción copulativa ‘y’. Es decir: A^B quiere decir ‘A y B’. De otro modo: A^B es verdad si A es verdad y B es verdad.
Se desconoce su origen, aunque se supone que se eligió por inversión del signo v utilizado para la disyunción. También es de señalar que Peano, en su Formulaire de mathématiques (1895), usaba el signo ^.
El primer uso del que se tiene noticia está en la Introducción a la lógica (1940) de Alfred Tarski. Un signo parecido se utiliza en los programas de informática para indicar los exponentes de las potencias.
Fuente: A History of mathematical Notations, #688 y ss; Introducción a la lógica, p.63