Conjunction elimination
In propositional logic, conjunction elimination (also called and elimination, ∧ elimination, or simplification) is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself. An example in English: It's raining and it's pouring.Therefore it's raining. The rule consists of two separate sub-rules, which can be expressed in formal language as: and
Wikipage redirect
Conjunction elimination (propositional logic)Consensus theoremDead code eliminationFitch's paradox of knowabilityIndex of logic articlesIndex of philosophy articles (A–C)List of rules of inferenceLogical conjunctionNegation introductionOutline of logicParaconsistent logicPropositional calculusQuantifier eliminationSimplificationSimplification (logic)
Link from a Wikipage to another Wikipage
primaryTopic
Conjunction elimination
In propositional logic, conjunction elimination (also called and elimination, ∧ elimination, or simplification) is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself. An example in English: It's raining and it's pouring.Therefore it's raining. The rule consists of two separate sub-rules, which can be expressed in formal language as: and
has abstract
En calcul des propositions, l' ...... e[Quoi ?] par lui-même[Qui ?].
@fr
En lógica proposicional, la si ...... " o "" en una línea posterior.
@es
In propositional logic, conjun ...... ication of the first sub-rule.
@en
Na lógica matemática, a elimin ...... é verdadeiro e B é verdadeiro.
@pt
Och-eliminering, även benämnd ...... orem i satslogiken skrivs: och
@sv
論理積の消去(ろんりせきのしょうきょ、英: Conjunct ...... 命題「」もしくは命題「」を示すことができるものとされている。
@ja
Wikipage page ID
Link from a Wikipage to a Wikipage in a different language about the same or a related subject.
page length (characters) of wiki page
Wikipage revision ID
878,444,382
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
En calcul des propositions, l' ...... langage formel[Comment ?]: et
@fr
En lógica proposicional, la si ...... resar el lenguaje formal como:
@es
In propositional logic, conjun ...... sed in formal language as: and
@en
Na lógica matemática, a elimin ...... é verdadeiro e B é verdadeiro.
@pt
Och-eliminering, även benämnd ...... orem i satslogiken skrivs: och
@sv
論理積の消去(ろんりせきのしょうきょ、英: Conjunct ...... 命題「」もしくは命題「」を示すことができるものとされている。
@ja
label
Conjunction elimination
@en
Eliminação da conjunção
@pt
Och-eliminering
@sv
Simplificación
@es
Élimination de la conjonction
@fr
論理積の消去
@ja
연언 소거
@ko