The standard semantics of quantum logic is that quantum logic is the logic of projection operators in a separable Hilbert or pre-Hilbert space, where an observable p is associated with the set of quantum states for which p (when measured) has eigenvalue 1. From there,