Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions