On quantum implication

Abstract

AbstractLogic is an algebraic structure that defines a set of abstract rules which govern an area of interest. The abstraction property of the rules makes them reusable tools to model different problems and to reason with them. The proliferation of quantum theory brought attention to quantum logic which is a lattice of projectors and it is of importance to quantum computing. Unfortunately, basic tools like implication are not sufficiently studied in that logic, which prevents us from exploiting the power of quantum mechanics in reasoning. This note investigates the implication issue in quantum logic and defines a quantum implication operator for compatible events as well as for incompatible events. The suggested operator depends both on the angle between the vector sub-spaces of the involved events and the angles between the system state and the vector sub-spaces. It differentiates between three cases depending on the angle between the events’ sub-spaces. The article further shows through an example that some classical reasoning rules such as Modus Ponens and Modus Tollens hold given the suggested implication.