UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 3. USO DE LAS REGLAS DE INFERENCIA

Estudiante
Miller Piedrahita Villegas

Docente
Jhon Jairo Getial

Curso
Pensamiento Lógico y Matemático

Grupo
200611_530

Universidad abierta y a distancia

UNAD

29/11/201
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS
Identificar y utilizar en forma clara las reglas de inferencia lógica por inducción y
deducción en formulaciones y demostraciones de razonamientos válidos en situaciones
específicas del mundo real.

Interpretar y relacionar expresiones del lenguaje simbólico y del lenguaje natural,

permitiéndole el desarrollo estructural de proposiciones, expresiones matemáticas,
argumentaciones y síntesis para que pueda aplicarlo a los diferentes escenarios
formativos y de uso en el contexto profesional.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

Las tablas de verdad y las reglas de inferencia son de vital importancia para conocer la
validez de un enunciado y por medio de la lógica matemática podemos encontrar si el
enunciado es válido, en este trabajo encontraremos los diferentes tipos de demostración
de la lógica matemática como la solución de un enunciado demostrado a través de las
tablas de verdad y reglas de inferencia.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Etapa1: Terminologías de los diferentes tipos de Demostración en la Lógica

Matemática. Tarea: Conceptualización y mínimo 3 ejemplos.

Demostración por el contraejemplo

Se utiliza para demostrar una falsedad a una regla general cuando esta corresponde a
una excepción a la misma.

Ejemplos:

1 A todos los colombianos les gusta el café.

Contraejemplo: Cristina es colombiana y no le gusta el café.

2 Ningún mamífero vive en el mar.

Contraejemplo: Las ballenas son mamíferos y viven en el mar.

3 Todas las aves vuelan.

Contraejemplo: El avestruz es un ave y no vuela.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Etapa 2: Terminologías de las leyes de inferencia lógica. Tarea: Conceptualización

y mínimo 3 ejemplos.

Dilema Constructivo y Absorción.

Dilema constructivo es una regla de la inferencia valida de la lógica proposicional que
explica.

Si P implica en Q; y R implica en S, o bien P o R son verdaderas, entonces Q o S también

serán verdaderas.

Ejemplo: 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.

(Hurley, Patrick.2008 citado por Wikipedia)

Dilema de absorción es una regla que establece que si P implica en Q, entonces P implica
en P y Q, la regla hace posible introducir conjunciones en pruebas.
Es decir el termino P es absorbido por Q en la consecuencia.

Copi, Irving M.; Cohen, Carl (2005).

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Etapa 3: Planteamiento y resolución (utilizando las operaciones necesarias de las

tablas de verdad) y la aplicabilidad de las leyes de inferencia lógica

Las naciones siempre quieren tener más y más poder y así controlar las riquezas
naturales del mundo; por ejemplo Estados Unidos quiere a toda costa tener el control de
las riquezas naturales de países de los demás continentes. Por lo anterior: “Si Estados
Unidos envía soldados a Corea, será el único país americano que lo haga. Si Estados
Unidos envía soldados a Corea, los americanos residentes en ese país están en peligro.
Estados Unidos envía soldados a Corea. Luego, Estados Unidos es el único país
americano que envía soldados a Corea y los americanos residentes están en peligro”.
Determinar con el uso de las dos formas de la tabla de verdad la validez del razonamiento
y hacerlo también con el uso de las leyes o reglas de inferencia.

Párrafos de trabajo

Si Estados Unidos envía soldados a Corea, será el único país americano que lo haga.

Si Estados Unidos envía soldados a Corea, los americanos residentes en ese país están
en peligro.

Estados Unidos envía soldados a Corea.

Luego, Estados Unidos es el único país americano que envía soldados a Corea y los
americanos residentes están en peligro

Declaración de las proposiciones simples.

P: USA envía soldados a corea.

Q: será el único país americano que lo hace.

R: los residentes en ese país están en peligro.

Declaración de las premisas

Premisa 1: Si Estados Unidos envía soldados a Corea, será el único país americano que
lo haga.

Premisa 2: Si Estados Unidos envía soldados a Corea, los americanos residentes en

ese país están en peligro.

Conclusión: Luego, Estados Unidos es el único país americano que envía soldados a
Corea y los americanos residentes están en peligro.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Declaración de las premisas en lenguaje formal.

Premisa 1: p⟶q

Premisa 2: p⟶r

Conclusión: p⟶q∧ r

Expresión formal del razonamiento:

[(𝑝⟶𝑞)∧(p⟶r)]⟶(p⟶q∧ r)

[(p>q)&(p>r)]>(p>q&r)

Simulación
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Demostración por tablas de verdad

p q r 𝑝⟶𝑞 p⟶r (𝑝⟶𝑞)∧(p⟶r) q∧ p⟶q∧ r [(𝑝⟶𝑞)∧(p⟶r)]⟶(p⟶q∧ r)]

r
V V V V V V V V V
V V F V F F F F V
V F V F V F F F V
V F F F F F F F V
F V V V V V V V V
F V F V V V F F V
F F V V V V F F V
F F F V V V F F V

Demostración por leyes de inferencia.

Premisa 1: p⟶q

Premisa 2: p⟶r
Conclusión: p⟶q∧ r
Conclusión: p⟶q∧ r Adjunción (2)(1)

Etapa 4: Terminologías del álgebra de Boole. Tarea: realizar una pequeña

presentación en Prezi, de la conceptualización o un ejemplo.

Teoremas del Álgebra de Boole.

https://prezi.com/view/ijbIvMpWyjAZnOJ8sazs/
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Por medio de este trabajo se pretende profundizar en los conocimientos que se deben
tener sobre las tablas de verdad y las reglas de inferencia que serán de gran
importancia para nuestra carrera como futuros ingenieros industriales.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS O BIBLIOGRAFÍA

http://newton.matem.unam.mx/calculo1/Logica/l_logica11_d.html

https://es.wikipedia.org/wiki/Dilema_constructivo

https://es.wikipedia.org/wiki/Absorci% C3% B3n_(l% C3%B3gica)

Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera
Edición. (pp. 91 – 197). México D.F., México: Universidad Autónoma de Sinaloa.
Recuperado de:
http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf