Taller - Analisis de inferencias - L ogica Inform atica

-Nelson Becerra Correa // Edgar Altamirano Carmona-

1. Algoritmos
(a) An alisis de inferencias mediante el m etodo de las tablas de verdad Procedimiento: olo en el caso Paso 1. Se ordena la inferencia, pero s de que su forma l ogica haya sido alterada en el lenguaje natural, observando el esquema: premisasconclusi on. Paso 2. Se expl cita su forma l ogica. Paso 3. Se halla su f ormula, expresando simb olicamente sus premisas y conclusi on. ormula condicional que Paso 4. Se construye una f tenga como antecedente a las premisas unidas por el operador conjuntivo y como consecuente a la conclusi on. Paso 5. Se eval ua la f ormula condicional mediante la tabla de verdad. Si efectuada la evaluaci on la f ormula condicional es tautol ogica, entonces la inferencia es v alida; si la f ormula es consistente o contradictoria, entonces no es v alida. (b) An alisis de inferencias mediante el m etodo abreviado Procedimiento: Paso 1. Se supone verdadero el antecedente y falso el consecuente. b) Se determinan los valores de las variables del consecuente de manera que expresen ste. la falsedad de e Paso 2. Se trasladan estos valores al antecedente y se designan los valores de las dem as variables tratando de hacer verdadero el antecedente. Paso 3. Si se verica la hip otesis, la f ormula es no tautol ogica, en consecuencia, la inferencia correspondiente ser a inv alida; si no se verica la hip otesis, la f ormula ser a tautol ogica, en consecuencia, la inferencia correspondiente ser a v alida. alisis de inferencias mediante el m etodo anal ogico : (c) An Este metodo consiste, en comparar la forma o estructura de la inferencia que se requiere analizar conotra logicamente valida. cita su forma l ogica. Paso 1. Se expl Paso 2. Se halla la f ormula. ormula obtenida con Paso 3. Se confronta la f las reglas de inferencia conocidas. Si la f ormula coincide con una de estas reglas podemos inferir inequ vocamente que la inferencia original es v alida; pero si la f ormula obtenida atenta contra una de ellas entonces la inferencia no es v alida. d Formas logicamente validas: Regla del Modus Ponens (MP) 1 A B 2 A 3 B Regla del Modus Tollens (MT) 1 A B 2 B 3 A Regla del Silogismo Hipot etico (SH) 1 A B 2 B C 3 A C Regla del Silogismo Disyuntivo (SD) 1 AB 2 A 3 B Regla del Silogismo Disyuntivo (SD) 1 AB 2 B 3 A Ley del Dilema Constructivo (DC) 1 A B 2 C D 3 AC 4 BD Ley del Dilema Destructivo (DD) 1 A B 2 C D

Taller

3 B D 4 A C Regla de la Simplicaci on (RS) 1 AB 2 B Regla de la Simplicaci on (RS) 1 AB 2 A

Regla de la Conjunci on (RC) 1 A 2 B 3 AB Regla de la Adici on (RA) 1 A 2 B 3 AB

1. Determine la validez de las siguientes inferencias mediante el metodo de tabla de verdad. Basandose en los algoritmos dados en el enunciado Si se levanta la veda, entonces se podr a pescar anchoveta. No se puede pescar anchoveta. Luego, no se levant o la veda. Si no se levanta la veda, entonces no se podr a pescar anchoveta. Se puede pescar anchoveta. En consecuencia, se ha levantado la veda. Si hay veda, entonces no se podr a pescar at un. Hay veda. Por tanto, no se puede pescar at un. Si las aguas del mar peruano se enfr an excesivamente, entonces no habr a buena actividad pesquera. No habr a buena actividad pesquera. En consecuencia, las aguas del mar peruano se en fr an excesivamente. Si el mar peruano se calienta excesivamente, no habr a buena actividad pesquera. El mar peruano no se calienta excesivamente. Luego, habr a buena actividad pesquera. 2. Determine mediante el m etodo abreviado si las siguientes inferencias son v alidas o inv alidas: o irregularidades al entregar Si se produjo la tragedia de Mesa Redonda , entonces la DICSCAMEC cometi autorizaciones a comerciantes y al no denunciar ante la scal a la comercializaci on ilegal de los pirot ecnicos. La DICSCAMEC co meti o irregularidades al entregar autorizaciones a comerciantes y al no denunciar ante la scal a la comercializaci on ilegal de los pirot ecnicos. En consecuencia, se produjo la tragedia de Mesa Redonda. Si las aguas del mar peruano se enfr an o calientan excesivamen te, entonces no se podr a pescar anchoveta ni at un. No se puede pescar anchoveta ni at un. Por tanto, las aguas del mar peruano se han enfriado o calentado excesivamente. Si la DICSCAMEC entreg o autorizaciones a comerciantes y no denunci o ante la scal a la comercializaci on ilegal de los pirot ecnicos, entonces cometi o irregularidades y ser a declarada en reorganizaci on por el Ministerio del Interior. La DICSCAMEC no entreg o autorizaciones a comerciantes y denunci o ante la s cal a la comercializaci on ilegal de los pirot ecnicos. Luego, no cometi o irregularidades y no ser a declarada en reorganizaci on por el Ministerio del Interior. un, entonces las aguas del mar peruano se han enfriado o calentado Si no se puede pescar anchoveta ni at excesivamente. Las aguas del mar peruano se han calentado o enfriado excesiva mente. Por tanto, no se puede pescar anchoveta ni at un. La tragedia de Mesa Redonda dej o cerca de trescientos muertos, doscientos desaparecidos, m as de doscientos cincuenta heridos y setecientos locales devastados. En consecuencia, dej o diez mi llones de d olares en p erdidas materiales. 3. Determine la validez o invalidez de las siguientes inferencias a trav es del m etodo anal ogico

Nelson Becerra Correa - Edgar Altamirano Carmona

Taller

Si el Presidente de la Rep ublica sale del territorio nacional, el Primer Vicepresidente se encarga del despacho. El Presidente de la Rep ublica sale del territorio nacional. Por tanto, el Primer Vi cepresidente se encarga del despacho El c onyuge extranjero est a facultado para optar por la nacionalidad peruana si tiene dos a nos de matrimonio y de domicilio en el Per u. No est a facultado para optar por la nacionalidad peruana. Luego, es falso que tenga dos a nos de matrimonio y de domicilio en el Per u De elevarse los impuestos, habr a d ecit. Habr a desocupaci on si hay d ecit. En consecuencia, de elevarse los impuestos, habr a desocupaci on El punto c y d del ejercicio 2

Nelson Becerra Correa - Edgar Altamirano Carmona