Lógica Computacional e Lógica Quântica