Disjunction introduction
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: Socrates is a man.Therefore, Socrates is a man or pigs are flying in formation over the English Channel. The rule can be expressed as: where the rule is that whenever instances of "" appear on lines of a proof, "" can be placed on a subsequent line.
Wikipage disambiguates
Wikipage redirect
Addition (disambiguation)Addition (logic)Gettier problemImperative logicIndex of logic articlesIndex of philosophy articles (A–C)Index of philosophy articles (D–H)List of rules of inferenceLogical disjunctionMinimal logicOr introductionOutline of logicParaconsistent logicPrinciple of explosionPropositional calculus
Link from a Wikipage to another Wikipage
primaryTopic
Disjunction introduction
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: Socrates is a man.Therefore, Socrates is a man or pigs are flying in formation over the English Channel. The rule can be expressed as: where the rule is that whenever instances of "" appear on lines of a proof, "" can be placed on a subsequent line.
has abstract
Cet article ne cite pas suffis ...... disjonction d'autres manières.
@fr
Disjunction introduction or ad ...... aconsistent logic § Tradeoffs.
@en
Eller-introducering, även benä ...... t teorem i satslogiken skrivs:
@sv
Introducción de la disyunción ...... en la lógica paraconsistente.
@es
Na lógica matemática, a introd ...... uer outro também é verdadeiro.
@pt
論理和の導入(ろんりわのどうにゅう、英: Disjuncti ...... とする議論もある（矛盾許容論理におけるトレードオフを参照）。
@ja
논리학에서, 선언 도입(選言導入, 영어: disjunc ...... 한 성분으로 하는 선언 명제를 유도하는 추론 규칙이다.
@ko
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,017,993,914
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Cet article ne cite pas suffis ...... ents et déduction naturelle.)
@fr
Disjunction introduction or ad ...... e placed on a subsequent line.
@en
Eller-introducering, även benä ...... t teorem i satslogiken skrivs:
@sv
Introducción de la disyunción ...... regla se puede expresar como:
@es
Na lógica matemática, a introd ...... uer outro também é verdadeiro.
@pt
論理和の導入(ろんりわのどうにゅう、英: Disjuncti ...... とする議論もある（矛盾許容論理におけるトレードオフを参照）。
@ja
논리학에서, 선언 도입(選言導入, 영어: disjunc ...... 한 성분으로 하는 선언 명제를 유도하는 추론 규칙이다.
@ko
label
Disjunction introduction
@en
Eller-introducering
@sv
Introducción de la disyunción
@es
Introduction de la disjonction
@fr
Introdução da disjunção
@pt
論理和の導入
@ja
선언 도입
@ko