On the Structure of the Proposition Lattice Associated with Quantum Systems