In quantum mechanics, quantum logic is a set of rules for reasoning about propositions that takes the principles of quantum theory into account.