Dilema constructivo[1][2][3] es una regla de inferenciavá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.
dilema, constructivo, regla, inferencia, válida, lógica, proposicional, inferencia, dice, implica, implica, bien, verdadero, entonces, debe, verdadero, suma, condicionales, verdaderos, menos, antecedentes, verdadero, entonces, alguno, consecuentes, debe, verda. Dilema constructivo 1 2 3 es una regla de inferencia valida de logica 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 version disyuntiva del modus ponens mientras que el dilema destructivo es la version disyuntiva del modus tollens El dilema constructivo puede escribirse formalmente como P Q R S P R Q S displaystyle frac P to Q R to S P lor R therefore Q lor S donde la regla es que cuando aparezcan las instancias P Q displaystyle P to Q R S displaystyle R to S y P R displaystyle P lor R en una linea de alguna demostracion se puede colocar Q S displaystyle Q lor S en una linea posterior Un ejemplo de dilema constructivo en lenguaje natural es Si gano un millon de pesos lo voy a donar a un orfanato Si mi amigo gana un millon de euros lo va a donar a un hogar de ancianos O voy a ganar un millon de pesos o mi amigo ganara un millon de euros Por lo tanto o un orfanato ganara un millon de pesos o un asilo ganara un millon de euros El dilema constructivo se llama asi por la transferencia de operandos disyuntivos que ocurre Indice 1 Notacion formal 2 Variacion en espanol 3 Referencias 4 Enlaces externosNotacion formal EditarLa regla de dilema constructivo puede escribirse en la notacion subsiguiente P Q R S P R Q S displaystyle P to Q R to S P lor R vdash Q lor S donde displaystyle vdash es un simbolo metalogico que significa que Q S displaystyle Q lor S es una consecuencia sintactica de P Q displaystyle P to Q R S displaystyle R to S y Q S displaystyle Q lor S en algun sistema logico y expresado como una tautologia verdad funcional o teorema de la logica proposicional P Q R S P R Q S displaystyle P to Q land R to S land P lor R to Q lor S donde P displaystyle P Q displaystyle Q R displaystyle R y S displaystyle S son proposiciones expresadas en algun sistema formal Variacion en espanol EditarSi P entonces Q Si R entonces S P o R Por lo tanto Q o S Referencias Editar Hurley Patrick A Concise Introduction to Logic With Ilrn Printed Access Card Wadsworth Pub Co 2008 Pagina 361 Moore y Parker Copi y CohenEnlaces externos EditarEsta obra contiene una traduccion total derivada de Constructive dilema de la Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Datos Q5164489Obtenido de https es wikipedia org w index php title Dilema constructivo amp oldid 117488492, wikipedia, wiki, leyendo, leer, libro, biblioteca,