The Logic of Quantum Mechanics