Computação paraconsistente : uma abordagem logica a computação quantica