Now that we have clarified what quantum propositions are, let us introduce Birkhoff and von Neumann's quantum logic. In order to properly define a propositional calculus for QM, one must define the logical operators for conjunction, disjunction and negation and the notion of logical implication. Following [1]}, the procedure is rather simple:
