Quantum systems may be measured by applying a series of yes–no questions. This set of questions can be understood to be chosen from an orthocomplemented lattice Q of propositions in quantum logic. The lattice is equivalent to the space of self-adjoint projections on a separable complex Hilbert space H.