¿Por qué isn ' t ' & ' utilizado para la conjunción lógica?

Question

Hay un hermoso y bien establecido logograma para "y", que es conocida por prácticamente todos los más o los menos educados persona en el mundo - es el signo '&'. Es completamente ambigua, como contraposición a la lógica de la disyunción (estoy hablando de su inclusivos y exclusivos de las versiones).

¿Por qué el signo no se utiliza universalmente para denotar la conjunción lógica?

La mejor respuesta que se me ocurre es porque en realidad el dibujo el símbolo tiene un poco de maña. Sin embargo, hay dos razones por las que esta no es una respuesta:

1. El dibujo de las letras griegas, toma un poco de maña, y ellos están por todo el lugar en matemáticas y la lógica.

2. Hay manuscrita variaciones de la y comercial que son muy fáciles de dibujar.

   Es el uso de '$\wedge$' para la conjunción lógica sólo un accidente histórico?

P. S. yo por supuesto estaba mintiendo cuando dije que el signo no es utilizado universalmente, como he visto que se usa aquí y allí, y yo mismo la utilizo en mi propia escritura.

Answer 1

En los libros antiguos (hasta alrededor de 1960) no es inusual ver junto anotadas &, y todavía hay autores y los campos que la utilizan. (Pensemos, por ejemplo, la lógica lineal que tiene dos diferentes conjunciones anotadas $\otimes$$\&$, y evita la $\land$ símbolo completamente).

Jeff Miller excelente Primeros Usos de los Diversos Símbolos Matemáticos listas de $\land$ como de haber sido inventado por Heyting en 1930. Por entonces, $\lor$ para la disyunción ya había estado en uso durante décadas -- al parecer, fue inventado por Russell en 190x y se utiliza en Principia Mathematica.

Heyting la motivación por $\land$ podría haber sido destacar la dualidad entre el$\lor$$\land$, o llame a cabo el paralelo entre la $\land,\lor$ $\cap,\cup$ en la teoría de conjuntos (que fueron introducidas por Peano en 1888).

La nueva notación se hizo bastante popular que cuando ASCII fue inventado en la década de 1960, la principal motivación para la inclusión de un \ personaje parece haber sido que, a continuación, coincidente $\land$ $\lor$ símbolos podría ser creado en impresos de computadora como /\ y \/.