Conjunction introduction
http://dbpedia.org/resource/Conjunction_introduction an entity of type: WikicatTheoremsInPropositionalLogic
논리학에서 연언 도입(連言導入, 영어: conjunction introduction)은 두 명제로부터 그 논리곱을 유도하는 추론 규칙이다.
rdf:langString
論理積の導入 (ろんりせきのどうにゅう、英: Conjunction introduction)(連言導入則、-導入則とも）は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明の中に新たに論理積(「」)を加えることができる。もし「P」という命題が真であり、かつ「Q」という命題が真であれば、「PかつQ」という命題もまた真である、という推論規則である。例えば、「雨が降っている」という命題が真であり、「私は部屋の中にいる」という命題が真であれば、「雨が降っており、私は部屋の中にいる」という命題は真である。この規則は、下記のように記述することができる。 ここで、命題「」と命題「」がそれぞれ証明のなかのどの行に出てきても、その後の行に「」を示すことができるものとされている。
rdf:langString
A introdução da conjunção é uma regra de inferência que estabelece que, se dois argumentos A e B são verdadeiros, então a conjunção dos mesmos também é verdadeira. Formalmente: Por exemplo, se é verdade que está chovendo e é verdade que está relampejando, então é verdade que está chovendo e relampejando.
rdf:langString
Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen: Det vill säga om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.
rdf:langString
Conjunction introduction (often abbreviated simply as conjunction and also called and introduction or adjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition is true, and the proposition is true, then the logical conjunction of the two propositions and is true. For example, if it is true that "it is raining", and it is true that "the cat is inside", then it is true that "it is raining and the cat is inside". The rule can be stated:
rdf:langString
Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una . Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar:
rdf:langString
Les règles d'introduction des connecteurs (disjonction, conjonction, implication, négation, etc.) sont des règles d'inférence que l'on trouve dans le calcul des séquents et la déduction naturelle. Elles jouent un rôle fondamental dans la description de ces systèmes, car elles permettent d'expliquer comment les connecteurs sont « introduits » dans le cours d'une démonstration. En dehors des règles structurelles, le calcul des séquents ne contient que des règles d'introduction et aucune règle d'élimination.
rdf:langString
rdf:langString
Conjunction introduction
rdf:langString
Introducción de la conjunción
rdf:langString
Règle d'introduction (logique)
rdf:langString
論理積の導入
rdf:langString
연언 도입
rdf:langString
Introdução da conjunção
rdf:langString
Och-introducering
rdf:langString
Conjunction introduction
xsd:integer
6563
xsd:integer
1092951011
rdf:langString
If the proposition is true, and the proposition is true, then the logical conjunction of the two propositions and is true.
rdf:langString
Conjunction introduction (often abbreviated simply as conjunction and also called and introduction or adjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition is true, and the proposition is true, then the logical conjunction of the two propositions and is true. For example, if it is true that "it is raining", and it is true that "the cat is inside", then it is true that "it is raining and the cat is inside". The rule can be stated: where the rule is that wherever an instance of "" and "" appear on lines of a proof, a "" can be placed on a subsequent line.
rdf:langString
Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una . Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar: donde la regla es que cada vez que una instancia "" y "" aparezca en una línea de prueba, tanto "" puede colocarse en la línea siguiente;
rdf:langString
Les règles d'introduction des connecteurs (disjonction, conjonction, implication, négation, etc.) sont des règles d'inférence que l'on trouve dans le calcul des séquents et la déduction naturelle. Elles jouent un rôle fondamental dans la description de ces systèmes, car elles permettent d'expliquer comment les connecteurs sont « introduits » dans le cours d'une démonstration. En dehors des règles structurelles, le calcul des séquents ne contient que des règles d'introduction et aucune règle d'élimination. Les règles d'introduction ont été présentées pour la première fois par Gentzen en 1934 dans son article fondateur Recherches sur la déduction logique sous le nom allemand « Einführung », qui veut précisément dire introduction.
rdf:langString
논리학에서 연언 도입(連言導入, 영어: conjunction introduction)은 두 명제로부터 그 논리곱을 유도하는 추론 규칙이다.
rdf:langString
論理積の導入 (ろんりせきのどうにゅう、英: Conjunction introduction)(連言導入則、-導入則とも）は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明の中に新たに論理積(「」)を加えることができる。もし「P」という命題が真であり、かつ「Q」という命題が真であれば、「PかつQ」という命題もまた真である、という推論規則である。例えば、「雨が降っている」という命題が真であり、「私は部屋の中にいる」という命題が真であれば、「雨が降っており、私は部屋の中にいる」という命題は真である。この規則は、下記のように記述することができる。 ここで、命題「」と命題「」がそれぞれ証明のなかのどの行に出てきても、その後の行に「」を示すことができるものとされている。
rdf:langString
A introdução da conjunção é uma regra de inferência que estabelece que, se dois argumentos A e B são verdadeiros, então a conjunção dos mesmos também é verdadeira. Formalmente: Por exemplo, se é verdade que está chovendo e é verdade que está relampejando, então é verdade que está chovendo e relampejando.
rdf:langString
Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen: Det vill säga om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.
xsd:nonNegativeInteger
2824