UNIDAD 3 PASO 3

REGLAS DE LA INFERENCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

INGENIERIA INDUSTRIAL

BOGOTA
 TABLA DE CONTENIDO

Objetivos.....................................................................................................................................3

Introduccin................................................................................................................................4

Primera Etapa DEMOSTRACION POR CONTRAEJEMPLO................................................5

Segunda Etapa DILEMA CONTSTRUCTIVO Y ABSORCION..............................................7

Tercera Etapa SITUACION PROBLEMICA.............................................................................8

Conclusiones.............................................................................................................................10

Bibliografa...............................................................................................................................11
 Objetivos

1. Aplicar los conocimientos de la unidad relacionados con las reglas de inferencia lgica por

induccin y deduccin, demostrando la veracidad de situaciones especficas.

2. Identificar los conceptos bsicos en los diferentes tipos de leyes de la inferencia lgica y su

correcta aplicacin en el desarrollo de las tablas de la verdad.

3. Hacer uso de herramientas tecnolgicas como el simulador de Truth, para comprobar los

ejercicios realizados.
 Introduccin

En este trabajo aplicaremos los conocimientos correspondientes a las reglas de la inferencia

lgica, generando de manera correcta tablas de la verdad, demostrando la veracidad de

situaciones especficas, en las cuales podremos observar la importancia de aplicar los

conocimientos en el mundo real, bajo metodologas que nos permiten representar de manera

grfica cada uno de los procesos lgico-matemticos.

 Primera Etapa DEMOSTRACION POR CONTRAEJEMPLO

En lgica, especialmente en sus aplicaciones a matemticas y filosofa, un contraejemplo es

una excepcin a una regla general propuesta, es decir, un caso especfico de la falsedad de una

cuantificacin universal (un "para todo").

Este mtodo se aplica de manera muy particular para demostrar la falsedad de proposiciones

cuya hiptesis est construida mediante un "cuantificador universal". Esto es, se aplica para

demostrar la falsedad de una proposicin que tenga una conclusin referida para "todos los

elementos de un cierto conjunto".

Qu entender por un contraejemplo

Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento que satisfaga

la hiptesis de la proposicin, pero que no satisfaga su conclusin. A dicho elemento se le conoce

con el nombre de contraejemplo.

Este mtodo es muy til cuando uno se encuentra ante una proposicin con cuantificador

universal, de la cual no se sabe si es verdadera o falsa. La primera idea es buscar un

contraejemplo. Si no se encuentra en una primera instancia, se intentar demostrar su veracidad

aplicando los otros mtodos o una combinacin de ellos.

Ejemplos

1. Consideremos la proposicin "todos los escritores son inteligentes". Como esta proposicin

dice que una cierta propiedad (inteligencia) es vlida para todos los escritores, incluso un solo

escritor tonto probar su falsedad. En este caso, un escritor tonto es un contraejemplo a "todos

los escritores son inteligentes".

2. El nmero 2 es el nico contraejemplo de la proposicin "todos los nmeros primos son

impares". Algunas proposiciones pueden ser negadas con un nmero mayor, incluso infinito de

contraejemplos ("todos los nmeros impares son primos" tiene infinitos contraejemplos: todos

los mltiplos impares de 3, 5, 7, etc.).

3. Podemos caracterizar un contraejemplo, tal como aqu nos interesa, como una excepcin a una

regla general. En otras palabras, se trata de un ejemplo o caso particular que hara falsa una

generalizacin. Normalmente un contraejemplo se opone a proposiciones que tienen la estructura

Todos los X son (o tienen la caracterstica) Y. Por supuesto, esto puede aplicarse a

proposiciones negativas del tipo Ningn X es (o tiene la caracterstica) X. Usualmente un

contraejemplo sigue la estructura Existe un X que no es (o no tiene la caracterstica) Y.

 Segunda Etapa DILEMA CONTSTRUCTIVO Y ABSORCION

Dilema constructivo es una regla de inferencia vlida de lgica 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 versin disyuntiva del modus ponens, mientras que el dilema

destructivo es la versin disyuntiva del modus tollens.

El dilema constructivo puede escribirse formalmente como:

donde la regla es que cuando aparezcan las instancias

en una lnea de alguna demostracin, se puede colocar

en una lnea posterior.

Ejemplos

Un ejemplo de dilema constructivo en lenguaje natural es:

Si gano un milln de pesos, lo voy a donar a un orfanato.

Si mi amigo gana un milln de euros, lo va a donar a un hogar de ancianos.

O voy a ganar un milln de pesos, o mi amigo ganar un milln de euros.

Por lo tanto, o un orfanato ganar un milln de pesos, o un asilo ganar un milln de euros.

El dilema constructivo se llama as por la transferencia de operandos disyuntivos que ocurre.

Ejemplo 2:

Premisa 1: Si voy a una obra de Teatro dar rosas a la actriz. Si mi esposo va al ballet aplaudir a

la bailarina prima

Premisa 2: O voy al Teatro, o mi esposo va al ballet

Conclusin: como conclusin entonces o una actriz recibir rosas o una bailarina ser aplaudida

fuertemente

Ejemplo 3:

Premisa 1: Si Juan viaja a Alaska morir de fro. Si se va al Sahara perecer de calor.

Premisa 2: Juan viajar a Alaska o al Sahara

Conclusin: por lo tanto morir de fro o perecer de calor.

Tercera Etapa SITUACION PROBLEMICA

En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual Juan

Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia laboral por

diferentes puntos de vista en el proceso de acompaamiento legal a una persona sindicada de

varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de discordia con Mara.

Mara ha decidido tomar acciones radicales frente a lo ocurrido con Juan: Si el cliente de Juan

gana la apelacin, entonces Mara se retira del buffet de abogados. Mara se retira del buffet de

abogados si y slo si Alberto el cliente de Juan no es llevado a prisin. Por lo tanto, si el cliente

de Juan gana la apelacin, entonces no es llevado a prisin. Determinar con el uso de las dos

formas de la tabla de verdad la validez del razonamiento que hace Mara y hacerlo tambin con

el uso de las leyes de inferencia.

 LOGICA PROPOSICIONAL

Premisas:

P: El cliente de Juan gana la apelacin

Q: Maria se retira del buffet de abogados

R: El cliente de Juan no es llevado a prisin

(((p q) (q r) )(pr))

(((p q) (q r ) )
p q r pq qr pr (pr))
V V V V V V V
V V F V F F V
V F V F F V V
V F F F V F V
F V V V V V V
F V F V F V V
F F V V F V V
F F F V V V V

La expresion es Tautologica
 Conclusiones

1. Se aplicaron los conceptos de las reglas de la inferencia lgica por induccin y deduccin,

creando tablas de la verdad, demostrando la veracidad de ejemplos cotidianos.

2. Se aprendieron nuevos elementos componentes de la reglas de la inferencia lgica como los

son los dilemas de construccin y absorcin, aplicados en el desarrollo de las actividades.

3. Se ejerci el uso de herramientas acadmicas como el simulador de Truth, para comprobar

los ejercicios realizados.

 Bibliografa

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y fundamentos de

lgebra lineal. Volumen I: conjuntos numricos, complementos. Madrid, ES: Editorial Tbar

Flores. (pp. 17-29). Recuperado de: http://hdl.handle.net/10596/6534

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las

lgebras de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 9-54). Recuperado de:

http://hdl.handle.net/10596/7960

Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico: Universidad autnoma

de Sinaloa. (pp. 91 197). Recuperado de: http://hdl.handle.net/10596/7963

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse -

Grupo Editorial Patria. (pp. 29 38). Recuperado de: http://hdl.handle.net/10596/6544

WIKIPEDIA. 2017. All rights reserved. Administracion; (Disponible en:

https://es.wikipedia.org/wiki/Contraejemplo. Consultado el: 08 de mayo de 2017)

WIKIPEDIA. 2017. All rights reserved. Administracion; (Disponible en:

https://es.wikipedia.org/wiki/Dilema_constructivo. Consultado el: 08 de mayo de 2017)