Epsilones
3 monos
Novedades - ► Mapa - Bestiario - GeoGebra - Bienvenida - Contacto
Origen de los signos matemáticos
Previo ◄Índice► Siguiente

 

 

Conjunción copulativa

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.

Desconozco su origen, aunque supongo que se eligió por inversión del signo ˅ 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 tengo 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.

Conjunción disyuntiva

 

  A History of mathematical Notations, #688 y ss; Introducción a la lógica, p.63.


Lógica

 
Comentarios
Inicio página
Epsilones.
Sitio + o - matemático de
Alberto Rodríguez Santos.
Correo: alberto@epsilones.com.
En la red desde el 4-7-2002 (ya hace).
Última actualización: ver Novedades.
 

 

Con esto se termina la página: