Lógica cuántica

En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientosfísicos que se observan a escalas atómicas.
Ejemplos de tales proposiciones son aquellas relativas al momento lineal o a la posición en el espacio de un electrón. La lógica cuántica puedeconsiderarse como un sistema formal paralelo al cálculo proposicional de la lógica clásica, donde en esta última, las operaciones para combinar proposiciones son las conectivas lógicas y lospredicados entre proposiciones son equivalencia e implicación. La lógica cuántica fue creada con el propósito de tratar matemáticamente las anomalías relativas a la medición, como elprincipio de incertidumbre, en la mecánica cuántica. Éstas surgen por la medición simultánea de observables complementarios en escalas atómicas.
La expresión "lógica cuántica" también se refierea la rama interdisciplinária de física, matemática, lógica y filosofía que estudia el formalismo y las bases empíricas de estas reglas algebraicas. Vale salientar que la lógica cuánticaes una disciplina científica independiente y con objetivos diferentes de la informática cuántica, aunque ambas dependen, por supuesto, de la física cuántica.

El concepto de lógicacuántica fue propuesto originalmente por Garrett Birkhoff y John von Neumann en 1936. Tal como fue propuesto por estos autores, la lógica cuántica se fundamenta en la idea que el retículo deproyecciones ortogonales en un espacio de Hilbert es la estructura que corresponde en la mecánica cuántica al reticulado de proposiciones en la física clásica.
La lógica cuántica puedeformularse como una versión modificada de la lógica proposicional. Tiene algunas propiedades que la diferencian de la lógica clásica, la más notable siendo que la propiedad distributiva