La lógica cuántica puede formularse como una versión modificada de la lógica proposicional.