Conjunction elimination
http://dbpedia.org/resource/Conjunction_elimination
논리학에서 연언 소거(連言消去, 영어: conjunction elimination)은 연언 명제로부터 그 두 성분을 유도하는 추론 규칙이다.
rdf:langString
論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、-除去則は、命題論理における妥当性のある推論規則のひとつである。もし、「PかつQ」とい命題が真であれば、「P」という命題が真であり、同時に「Q」という命題も真であることを指す。この規則を用いることによって、論理積(「かつ」、「」)で結び付けられた命題の片方を抽出することができる。例えば、「雨が降っており、土砂降りである」という命題が真であれば、「雨が降っている」という命題は真である。この規則は、下記のように、 および、 の２つの記述をすることができる。ここで、命題「」が証明のなかのどの行に出てきても、その後の行において、命題「」もしくは命題「」を示すことができるものとされている。
rdf:langString
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.
rdf:langString
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
rdf:langString
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
rdf:langString
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:
rdf:langString
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
rdf:langString
rdf:langString
Conjunction elimination
rdf:langString
Simplificación
rdf:langString
Élimination de la conjonction
rdf:langString
연언 소거
rdf:langString
論理積の消去
rdf:langString
Eliminação da conjunção
rdf:langString
Och-eliminering
rdf:langString
Conjunction elimination
xsd:integer
788704
xsd:integer
1092955820
rdf:langString
If the conjunction and is true, then is true, and is true.
rdf:langString
#
#
#
rdf:langString
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.
rdf:langString
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 ?].
rdf:langString
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.
rdf:langString
논리학에서 연언 소거(連言消去, 영어: conjunction elimination)은 연언 명제로부터 그 두 성분을 유도하는 추론 규칙이다.
rdf:langString
論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、-除去則は、命題論理における妥当性のある推論規則のひとつである。もし、「PかつQ」とい命題が真であれば、「P」という命題が真であり、同時に「Q」という命題も真であることを指す。この規則を用いることによって、論理積(「かつ」、「」)で結び付けられた命題の片方を抽出することができる。例えば、「雨が降っており、土砂降りである」という命題が真であれば、「雨が降っている」という命題は真である。この規則は、下記のように、 および、 の２つの記述をすることができる。ここで、命題「」が証明のなかのどの行に出てきても、その後の行において、命題「」もしくは命題「」を示すことができるものとされている。
rdf:langString
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.
rdf:langString
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
xsd:nonNegativeInteger
3099