An Introduction to the Exposition on Soundness, Completeness, and Decidability in Quantum Logic and Quantum Computation