Constructive dilemma
http://dbpedia.org/resource/Constructive_dilemma an entity of type: WikicatTheoremsInPropositionalLogic
논리학에서, 구성적 양도 논법(構成的兩刀論法) 또는 구성적 딜레마(構成的dilemma, 영어: constructive dilemma)은 두 가언 명제와 그 두 전제의 논리합으로부터 두 결론의 논리합을 유도하는 양도 논법이다. 즉, “만약 P라면 Q이다. 만약 R라면 S이다. 그런데 P이거나 R이다. 따라서, Q이거나 S이다.”와 같은 꼴이다.
rdf:langString
Dilema construtivo é uma regra de inferência válida da . É a inferência que diz: se P implica Q e R implica S, e P ou R é verdade, então Q ou S tem que ser verdade. Em suma, se duas condicionais são verdade e pelo menos um de seus antecedentes também o é, então pelo menos um de seus consequentes também precisa ser. Dilema construtivo é a versão disjuntiva do modus ponens, enquanto, odilema destrutivo é a versão disjuntiva do Modus tollens. Formalmente: ou seja: sempre que instâncias de "", "", e"" aparecerem numa linha de alguma prova, "" pode ser concluído na linha seguinte.
rdf:langString
Constructive dilemma is a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then either Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas,destructive dilemma is the disjunctive version of modus tollens. The constructive dilemma rule can be stated:
rdf:langString
Dilema constructivo es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S; y, o bien P o R es verdadero; entonces Q o S debe ser verdadero. En suma, si dos condicionales son verdaderos, y al menos uno de sus antecedentes es verdadero, entonces alguno de sus consecuentes debe de ser verdadero. El dilema constructivo es la versión disyuntiva del modus ponens, mientras que el dilema destructivo es la versión disyuntiva del modus tollens. El dilema constructivo puede escribirse formalmente como:
rdf:langString
Un dilemme constructif est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit P ou R est vrai, alors Q ou S est vrai. En somme, si deux implications sont vraies et au moins un de leurs antécédents l'est, alors au moins un de leurs conséquents doivent l'être aussi. Le dilemme constructif est la version disjonctive du modus ponens, alors que, le dilemme destructif est la version disjonctive du modus tollens. La règle peut être déclarée comme suit:
rdf:langString
rdf:langString
Constructive dilemma
rdf:langString
Dilema constructivo
rdf:langString
Dilemme constructif
rdf:langString
구성적 양도 논법
rdf:langString
Dilema construtivo
rdf:langString
Constructive dilemma
xsd:integer
1316648
xsd:integer
1109436890
rdf:langString
If implies and implies , and either or is true, then either or has to be true.
rdf:langString
Constructive dilemma is a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then either Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas,destructive dilemma is the disjunctive version of modus tollens. The constructive dilemma rule can be stated: where the rule is that whenever instances of "", "", and "" appear on lines of a proof, "" can be placed on a subsequent line.
rdf:langString
Dilema constructivo es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S; y, o bien P o R es verdadero; entonces Q o S debe ser verdadero. En suma, si dos condicionales son verdaderos, y al menos uno de sus antecedentes es verdadero, entonces alguno de sus consecuentes debe de ser verdadero. El dilema constructivo es la versión disyuntiva del modus ponens, mientras que el dilema destructivo es la versión disyuntiva del modus tollens. El dilema constructivo puede escribirse formalmente como: donde la regla es que cuando aparezcan las instancias "", "", y "" en una línea de alguna demostración, se puede colocar "" en una línea posterior. Un ejemplo de dilema constructivo en lenguaje natural es: Si gano un millón de pesos, lo voy a donar a un orfanato.Si mi amigo gana un millón de euros, lo va a donar a un hogar de ancianos.O voy a ganar un millón de pesos, o mi amigo ganará un millón de euros.Por lo tanto, o un orfanato ganará un millón de pesos, o un asilo ganará un millón de euros. El dilema constructivo se llama así por la transferencia de operandos disyuntivos que ocurre.
rdf:langString
Un dilemme constructif est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit P ou R est vrai, alors Q ou S est vrai. En somme, si deux implications sont vraies et au moins un de leurs antécédents l'est, alors au moins un de leurs conséquents doivent l'être aussi. Le dilemme constructif est la version disjonctive du modus ponens, alors que, le dilemme destructif est la version disjonctive du modus tollens. La règle peut être déclarée comme suit: où la règle est que chaque fois que les instances de « », « », et « » apparaissent sur les lignes d'une démonstration, « » peut être placé sur une ligne subséquente.
rdf:langString
논리학에서, 구성적 양도 논법(構成的兩刀論法) 또는 구성적 딜레마(構成的dilemma, 영어: constructive dilemma)은 두 가언 명제와 그 두 전제의 논리합으로부터 두 결론의 논리합을 유도하는 양도 논법이다. 즉, “만약 P라면 Q이다. 만약 R라면 S이다. 그런데 P이거나 R이다. 따라서, Q이거나 S이다.”와 같은 꼴이다.
rdf:langString
Dilema construtivo é uma regra de inferência válida da . É a inferência que diz: se P implica Q e R implica S, e P ou R é verdade, então Q ou S tem que ser verdade. Em suma, se duas condicionais são verdade e pelo menos um de seus antecedentes também o é, então pelo menos um de seus consequentes também precisa ser. Dilema construtivo é a versão disjuntiva do modus ponens, enquanto, odilema destrutivo é a versão disjuntiva do Modus tollens. Formalmente: ou seja: sempre que instâncias de "", "", e"" aparecerem numa linha de alguma prova, "" pode ser concluído na linha seguinte.
xsd:nonNegativeInteger
3939