Lógica quântica: diferenças entre revisões

Em [[Física Matemática]] é [[mecânica quântica]], '''lógica quântica''' é um conjunto de regras para o [[raciocínio]] relativo a cercauma declasse [[proposições]] para as quais os princípios da teoria quântica são considerados. Esta área de pesquisa e este nome originaram-se em uma publicação de 1936 de [[Garrett Birkhoff]] e [[John von Neumann]], que tentaram reconciliar a aparente inconsistência da [[lógica booleana]] clássica com os fatos relacionados as medições de [[complementariedade|variáveis complementares]] na mecânica quântica, tais como a posição e o momento.

A lógica quântica pode ser formulada como uma versão modificada da [[lógica proposicional]] ou como uma [[lógica de muitos valores]] não associativa e comutávelcomutativa. Estas sãoDentro algumasdas propriedades que claramente a distinguedistinguem da lógica clássica, mais notavelmente,encontra-se a falha da [[lei distribuitiva]] da lógica proposicional.

Onde os símbolos ''p'', ''q'' e ''r'' são variáveis proposicionais. Para ilustrar como a lei distribuitiva falha, considere-se uma partícula movendo em uma reta e tendo:

Por outro lado, as proposições "''p'' e ''q''" e "''p'' e ''r''" são ambas falsas, desde que elas se referem simultaneamente a valores de posição e momento, o que não é permitido pelo [[principio da incerteza]]. Então,