Logical disjunction in the context of Uncertainty principle

In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), also known as modus ponendo ponens (from Latin 'mode that by affirming affirms'), implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference. It can be summarized as "P implies Q. P is true. Therefore, Q must also be true."

Modus ponens is a mixed hypothetical syllogism and is closely related to another valid form of argument, modus tollens. Both have apparently similar but invalid forms: affirming the consequent and denying the antecedent. Constructive dilemma is the disjunctive version of modus ponens.

In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.

An example in English:

Constructive dilemma is a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then either Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas destructive dilemma is the disjunctive version of modus tollens. The constructive dilemma rule can be stated:

where the rule is that whenever instances of "${\displaystyle P\to Q}$", "${\displaystyle R\to S}$", and "${\displaystyle P\lor R}$" appear on lines of a proof, "${\displaystyle Q\lor S}$" can be placed on a subsequent line.

Propositional logic is a branch of logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called first-order propositional logic to contrast it with System F, but it should not be confused with first-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives representing the truth functions of conjunction, disjunction, implication, biconditional, and negation. Some sources include other connectives, as in the table below.

Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or quantifiers. However, all the machinery of propositional logic is included in first-order logic and higher-order logics. In this sense, propositional logic is the foundation of first-order logic and higher-order logic.

Non-classical logics (and sometimes alternative logics or non-Aristotelian logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is commonly the case, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth.

Philosophical logic is understood to encompass and focus on non-classical logics, although the term has other meanings as well. In addition, some parts of theoretical computer science can be thought of as using non-classical reasoning, although this varies according to the subject area. For example, the basic boolean functions (e.g. AND, OR, NOT, etc) in computer science are very much classical in nature, as is clearly the case given that they can be fully described by classical truth tables. However, in contrast, some computerized proof methods may not use classical logic in the reasoning process.

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets, or its elements can be viewed as generalized truth values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution).

Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨). However, the theory of Boolean rings has an inherent asymmetry between the two operators, while the axioms and theorems of Boolean algebra express the symmetry of the theory described by the duality principle.

Destructive dilemma is the name of a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either Q is false or S is false, then either P or R must be false. In sum, if two conditionals are true, but one of their consequents is false, then one of their antecedents has to be false. Destructive dilemma is the disjunctive version of modus tollens. The disjunctive version of modus ponens is the constructive dilemma. The destructive dilemma rule can be stated:

where the rule is that wherever instances of "${\displaystyle P\to Q}$", "${\displaystyle R\to S}$", and "${\displaystyle \neg Q\lor \neg S}$" appear on lines of a proof, "${\displaystyle \neg P\lor \neg R}$" can be placed on a subsequent line.

In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation.

where "${\displaystyle \Leftrightarrow }$" is a metalogical symbol representing "can be replaced in a proof with", P and Q are any given logical statements, and ${\displaystyle \neg P\lor Q}$ can be read as "(not P) or Q". To illustrate this, consider the following statements:

In propositional logic, tautology is either of two commonly used rules of replacement. The rules are used to eliminate redundancy in disjunctions and conjunctions when they occur in logical proofs. They are:

The principle of idempotency of disjunction:

Disjunction introduction or addition (also called or introduction) is a rule of inference of propositional logic and almost every other deduction system. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if P is true, then P or Q must be true.

An example in English:

In propositional logic, disjunction elimination (sometimes named proof by cases, case analysis, or or elimination) is the valid argument form and rule of inference that allows one to eliminate a disjunctive statement from a logical proof. It is the inference that if a statement ${\displaystyle P}$ implies a statement ${\displaystyle Q}$ and a statement ${\displaystyle R}$ also implies ${\displaystyle Q}$, then if either ${\displaystyle P}$ or ${\displaystyle R}$ is true, then ${\displaystyle Q}$ has to be true. The reasoning is simple: since at least one of the statements P and R is true, and since either of them would be sufficient to entail Q, Q is certainly true.

An example in English:

The OR gate is a digital logic gate that implements logical disjunction. The OR gate outputs "true" if any of its inputs is "true"; otherwise it outputs "false". The input and output states are normally represented by different voltage levels.

In mathematics, a Boolean ring R is a ring for which x = x for all x in R, that is, a ring that consists of only idempotent elements. An example is the ring of integers modulo 2.

Every Boolean ring gives rise to a Boolean algebra, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨, which would constitute a semiring). Conversely, every Boolean algebra gives rise to a Boolean ring. Boolean rings are named after the founder of Boolean algebra, George Boole.

In propositional logic and Boolean algebra, there is a duality between conjunction and disjunction, also called the duality principle. It is the most widely known example of duality in logic. The duality consists in these metalogical theorems:

• In classical propositional logic, the connectives for conjunction and disjunction can be defined in terms of each other, and consequently, only one of them needs to be taken as primitive.
• If ${\displaystyle \varphi ^{D}}$ is used as notation to designate the result of replacing every instance of conjunction with disjunction, and every instance of disjunction with conjunction (e.g. ${\displaystyle p\land q}$ with ${\displaystyle q\lor p}$, or vice-versa), in a given formula ${\displaystyle \varphi }$, and if ${\displaystyle {\overline {\varphi }}}$ is used as notation for replacing every sentence-letter in ${\displaystyle \varphi }$ with its negation (e.g., ${\displaystyle p}$ with ${\displaystyle \neg p}$), and if the symbol ${\displaystyle \models }$ is used for semantic consequence and ⟚ for semantical equivalence between logical formulas, then it is demonstrable that ${\displaystyle \varphi ^{D}}$ ⟚ ${\displaystyle \neg {\overline {\varphi }}}$, and also that ${\displaystyle \varphi \models \psi }$ if, and only if, ${\displaystyle \psi ^{D}\models \varphi ^{D}}$, and furthermore that if ${\displaystyle \varphi }$ ⟚ ${\displaystyle \psi }$ then ${\displaystyle \varphi ^{D}}$ ⟚ ${\displaystyle \psi ^{D}}$. (In this context, ${\displaystyle {\overline {\varphi }}^{D}}$ is called the dual of a formula ${\displaystyle \varphi }$.)