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
| Attributes | Values |
|---|
| rdfs:label
| - Conjunction elimination (en)
- Simplificación (es)
- Élimination de la conjonction (fr)
- 연언 소거 (ko)
- 論理積の消去 (ja)
- Eliminação da conjunção (pt)
- Och-eliminering (sv)
|
| rdfs:comment
| - 논리학에서 연언 소거(連言消去, 영어: conjunction elimination)은 연언 명제로부터 그 두 성분을 유도하는 추론 규칙이다. (ko)
- 論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、-除去則は、命題論理における妥当性のある推論規則のひとつである。もし、「PかつQ」とい命題が真であれば、「P」という命題が真であり、同時に「Q」という命題も真であることを指す。この規則を用いることによって、論理積(「かつ」、「」)で結び付けられた命題の片方を抽出することができる。例えば、「雨が降っており、土砂降りである」という命題が真であれば、「雨が降っている」という命題は真である。この規則は、下記のように、 および、 の２つの記述をすることができる。ここで、命題「」が証明のなかのどの行に出てきても、その後の行において、命題「」もしくは命題「」を示すことができるものとされている。 (ja)
- Na lógica matemática, a eliminação da conjunção ou simplificação é uma regra de inferência que estabelece que, se a conjunção de A e B é verdadeira, então A é verdadeiro e B é verdadeiro. (pt)
- Och-eliminering, även benämnd S-regeln (från eng. Simplification), är en slutledningsregel inom satslogiken. Regeln kan formellt skrivas: eller vilket betyder att man från två premisser, vilka förenas av en konjunktion, kan sluta sig till den ena eller den andra premissen. Exempel: Från Solen lyser och Vågorna glittrar, följer slutsatsen Vågorna glittrar. Formellt kan regeln även skrivas: eller där betyder satslogisk konsekvens. Regeln uttryckt som en tautologi eller ett teorem i satslogiken skrivs: och (sv)
- 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 (en)
- En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad (o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. La regla se puede expresar el lenguaje formal como: (es)
- En calcul des propositions, l'élimination de la conjonction (aussi appelé élimination du et, élimination du ∧, ou simplification) est une [Quoi ?] valide, sous forme d'argument et de règle d'inférence qui rend la conclusion selon laquelle, si la conjonction A et B est vrai, alors A est vrai et B est vrai.[pas clair] La règle permet de raccourcir les démonstrations en dérivant l'un des conjontifs[Quoi ?] d'une conjonction sur une ligne[Quoi ?] par lui-même. La règle est composée de deux sous-règles[Quoi ?] distinctes, qui peuvent être exprimées en langage formel[Comment ?]: et (fr)
|
| name
| - Conjunction elimination (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| statement
| - If the conjunction and is true, then is true, and is true. (en)
|
| symbolic statement
| |
| dbp:wikiPageUsesTemplate
| |
| Link from a Wikipa... related subject.
| |
| field
| |
| type
| |
| has abstract
| - 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 The two sub-rules together mean that, whenever an instance of "" appears on a line of a proof, either "" or "" can be placed on a subsequent line by itself. The above example in English is an application of the first sub-rule. (en)
- En calcul des propositions, l'élimination de la conjonction (aussi appelé élimination du et, élimination du ∧, ou simplification) est une [Quoi ?] valide, sous forme d'argument et de règle d'inférence qui rend la conclusion selon laquelle, si la conjonction A et B est vrai, alors A est vrai et B est vrai.[pas clair] La règle permet de raccourcir les démonstrations en dérivant l'un des conjontifs[Quoi ?] d'une conjonction sur une ligne[Quoi ?] par lui-même. La règle est composée de deux sous-règles[Quoi ?] distinctes, qui peuvent être exprimées en langage formel[Comment ?]: et Les deux sous-règles signifient en même temps que, chaque fois qu'une instance "" apparaît sur une ligne[Quoi ?] d'une démonstration, soit "", soit "" peut être placé sur une ligne subséquente[Quoi ?] par lui-même[Qui ?]. (fr)
- En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad (o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. La regla se puede expresar el lenguaje formal como: o como donde la regla es que cada vez que aparecen las instancias de "" en las líneas de se puede colocar en una prueba, "" o "" en una línea posterior. (es)
- 논리학에서 연언 소거(連言消去, 영어: conjunction elimination)은 연언 명제로부터 그 두 성분을 유도하는 추론 규칙이다. (ko)
- 論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、-除去則は、命題論理における妥当性のある推論規則のひとつである。もし、「PかつQ」とい命題が真であれば、「P」という命題が真であり、同時に「Q」という命題も真であることを指す。この規則を用いることによって、論理積(「かつ」、「」)で結び付けられた命題の片方を抽出することができる。例えば、「雨が降っており、土砂降りである」という命題が真であれば、「雨が降っている」という命題は真である。この規則は、下記のように、 および、 の２つの記述をすることができる。ここで、命題「」が証明のなかのどの行に出てきても、その後の行において、命題「」もしくは命題「」を示すことができるものとされている。 (ja)
- Na lógica matemática, a eliminação da conjunção ou simplificação é uma regra de inferência que estabelece que, se a conjunção de A e B é verdadeira, então A é verdadeiro e B é verdadeiro. (pt)
- Och-eliminering, även benämnd S-regeln (från eng. Simplification), är en slutledningsregel inom satslogiken. Regeln kan formellt skrivas: eller vilket betyder att man från två premisser, vilka förenas av en konjunktion, kan sluta sig till den ena eller den andra premissen. Exempel: Från Solen lyser och Vågorna glittrar, följer slutsatsen Vågorna glittrar. Formellt kan regeln även skrivas: eller där betyder satslogisk konsekvens. Regeln uttryckt som en tautologi eller ett teorem i satslogiken skrivs: och (sv)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)