In logic, disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction, is a logical connective typically...

Exclusive or, exclusive disjunction, exclusive alternation, logical non-equivalence, or logical inequality is a logical operator whose negation is the...

Disjunction introduction or addition (also called or introduction) is a rule of inference of propositional logic and almost every other deduction system...

British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. The rules can be expressed...

In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive...

it asserts that one among a number of alternatives must be true. This disjunction is problematic because it oversimplifies the choice by excluding viable...

In logic, the term conditional disjunction can refer to: conditioned disjunction, a ternary logical connective introduced by Alonzo Church a rule in classical...

 Distribution of   conjunction   over   disjunction  ( P ∨ ( Q ∧ R ) ) ⇔ ( ( P ∨ Q ) ∧ ( P ∨ R ) )  Distribution of   disjunction   over   conjunction  ( P ∧ (...

Nondisjunction is the failure of homologous chromosomes or sister chromatids to separate properly during cell division (mitosis/meiosis). There are three...

Mordenkainen is a fictional wizard from the World of Greyhawk campaign setting for the Dungeons & Dragons roleplaying game. He was created by Gary Gygax...