- In logic,
disjunction, also
known as
logical disjunction or
logical or or
logical addition or
inclusive disjunction, is a
logical connective typically...
-
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...
-
disjunctions are felicitous.
Sofia ate some of the
pizza or all of it.
Henrietta is five feet tall or six feet tall.
Felicitous Hurford disjunctions have...
- In
mathematical logic, the
disjunction and
existence properties are the "hallmarks" of
constructive theories such as
Heyting arithmetic and constructive...
-
Exclusive or,
exclusive disjunction,
exclusive alternation,
logical non-equivalence, or
logical inequality is a
logical operator whose negation is the...
-
Nondisjunction is the
failure of
homologous chromosomes or
sister chromatids to
separate properly during cell
division (mitosis/meiosis).
There are three...
- In logic, the term
conditional disjunction can
refer to:
conditioned disjunction, a
ternary logical connective introduced by
Alonzo Church a rule in classical...
-
logic and
Boolean algebra,
there is a
duality between conjunction and
disjunction, also
called the
duality principle. It is, undoubtedly, the most widely...
- is just a
special case:
there are also
arguments with non-exclusive
disjunctions that are
false dilemmas. For example, a
choice between security and freedom...
- In
propositional logic,
disjunction elimination (sometimes
named proof by cases, case analysis, or or elimination) is the
valid argument form and rule...