1

Momento Intermedio Unidad 3 Paso 3

Uso de las reglas de inferencia

Presentado Por:
Johan Roberth Galván villa Código: 72005505

Para:
Jorge Mario Villegas

Pensamiento Lógico Matemático

Grupo:

200611_949

Universidad Nacional Abierta y a Distancia - UNAD

30 Noviembre de 2017

CEAD Curumani
 2

Contenido
Objetivos ............................................................................................................................. 3

Objetivo general .............................................................................................................. 3

Objetivos específicos ...................................................................................................... 3

Introducción ........................................................................................................................ 4

Primera etapa (tres ejemplos) .............................................................................................. 5

Demostración por Contradicción (Reducción al Absurdo). ............................................ 5

Segunda etapa...................................................................................................................... 6

Ley de Adición y Tollendo Ponens. (Tres ejemplos) ...................................................... 6

Tercera etapa ....................................................................................................................... 8

Planteamiento y resolución del quinto enunciado. .......................................................... 8

Solución. ..................................................................................................................... 8

Premisas: ......................................................................................................................... 8

Cuarta etapa....................................................................................................................... 11

Aplicaciones en el mundo real del Álgebra de Boole ................................................... 11

Link presentación en prezi. ....................................................................................... 11

Conclusiones ..................................................................................................................... 12

Bibliografía ....................................................................................................................... 13
 3

Objetivos

Objetivo general

Interpretar y dar solución a los planteamientos enunciados en la guía de Actividades paso

3 y demostrar su validez, por medio de las reglas de inferencia.

Objetivos específicos

 Conceptualizar los diferentes tipos de demostración lógica matemática, para este caso
particular se tratara la Demostración por Contradicción (Reducción al Absurdo).

 Describir y conceptualizar la Ley de Adición y Tollendo Ponens.

 Resolución al quinto problema enunciado en el Anexo 1, usando la aplicabilidad de las

leyes de inferencia, además, anexar un pantallazo de la solución del ejercicio por medio
del simulador TRUTH.

 Conceptualizar y describir alguna de las terminologías del algebra de Boole. Para este
caso particular se hablara de Las aplicaciones en el mundo real del Algebra de Boole.
 4

Introducción

Las Leyes de la inferencia lógica matemática, nos permite demostrar y validar por medio

de varios métodos como el del Modus Ponendo Ponens (PP); Modus Tollendo Tollens (TT);

Modus Tollendo Ponens (TP); la Doble Negacion (DN); la regla de Simplificación (S); regla de

la Adjunción (A); entre otras, las proposiciones que en lenguaje natural como el que se propone

en el Anexo 2, y pasa por un proceso para llegar a un Lenguaje formal.

Este trabajo describe este proceso de la lógica proposicional y muestra la solución a el

enunciado problema dentro de la lógica matemática y las leyes de la inferencia.

 5

Primera etapa (tres ejemplos)

Demostración por Contradicción (Reducción al Absurdo).

Este método es frecuentemente utilizado por muchos matemáticos, por la gran

versatilidad que ofrece. Dependiendo de la proposición a demostrar puedes usar uno u otro

método, pero frecuentemente cuando una proposición p→q, se te resista al método directo,

podrás usar otros métodos como éste de reducción al absurdo.

Ejemplo 1

Ejemplos de Reducción al Absurdo: Demostrar que si a y b son números enteros que cumplen
con la igualdad a + a2 + a3 = b + b2, entonces a es par. De acuerdo con las reglas de Reducción
al Absurdo suponemos que a es un número impar, como a es impar entonces a2 y a3 son impares
por lo tanto a + a2 + a3 es también un número impar. Como b + b2 = a + a2 + a3 Entonces b +
b2 es impar; pero b + b2es par ya que b + b2 = b (b + 1) por lo que b o (b+1) es un número par lo
que es una contradicción, entonces la premisa de que a es impar es falsa por lo tanto su negación
a es par, resulta verdadera.

Ejemplo 2

Demostrar que existen infinitos numerous primos

Solución. Supongamos que el número de primos es finito. Sean p1, . . . , pn todos los

primos. Sea p = p1 · · · pn + 1.

Claramente p no es divisible por ningún primo. Sin embargo sabemos que todo entero

puede ser expresado como producto de primos elevados a potencias, por lo que p debe ser

necesariamente divisible por algún primo ¡Contradicción! Entonces el número de primos es

infinito.
 6

Segunda etapa

Ley de Adición y Tollendo Ponens. (Tres ejemplos)

El modus tollendo ponens (latín: "el modo que, al negar, afirma") o silogismo disyuntivo

(también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E), es,

en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una

de sus premisas

Esta regla se aplica para las proposiciones disyuntivas, en la cual un miembro de dicha

proposion se niega para lograr la afirmación del otro.

Ejemplo 1

P VQ PVQ (1) ¬ (P & M ) V T & Q

¬P ¬Q (2) ¬ ( T & Q )

---------- --------- _______________________

.: Q .: P .: (3) ¬ (P & M ) TP 1.2

Ejemplo 2

O hace frio y llueve o el festival se celebrara al aire libre . Ni hace frio ni llueve .

F : hace frio

E: llueve

A: el festival se celebrara al aire libre

(F & E ) V A

¬ (F & E )

____________

.: A
 7

Esto quiere decir que el festival se celebrara al aire libre

Ejemplo 3

Premisa 1: O la energía interna de un átomo puede cambiar con continuidad o cambia

sólo a saltos.

Premisa 2: La energía interna de un átomo no puede cambiar con continuidad

Conclusión: La energía interna de un átomo cambia sólo a saltos.

Simbólicamente

p: La energía de un átomo puede cambiar con continuidad

q: La energía de un átomo sólo cambia a saltos

Premisa 1: p ν q

Premisa 2: ~ p

Conclusión: Q.
 8

Tercera etapa

Planteamiento y resolución del quinto enunciado.

Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el

curso de Física General deben asistir al componente práctico. Marcela hace el siguiente análisis

de la situación que se le ha presentado al conocer las fechas en que debe asistir. “Si las prácticas

de laboratorio son el próximo domingo entonces asisto a la universidad. Si realizo los

experimentos entonces entrego el informe de laboratorio. Asisto a la universidad y entrego el

informe de laboratorio entonces obtengo un puntaje sumativo para la nota. No obtengo un

puntaje sumativo para la nota. Por lo tanto no realizo los experimentos o las prácticas de

laboratorio no son el próximo domingo”. 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.

Solución.

P: las prácticas de laboratorio son el próximo domingo

Q: asisto a la universidad
R: realizo los experimentos
S: entrego el informe de laboratorio
T: obtengo un puntaje sumativo para la nota U:

Premisas:

1) (P→Q)
2) (R→S)
3) (Q˄S) →T
4) ¬T
CONCLUSION: (¬R˅¬P)
{[(p → q) ˄ (r → s)] ˄ [(q ˄ s) → t] ˄ ~t} → (~r ˅ ~p)
 9

Tabla de verdad
P Q R S T P→Q R→S (Q˄S) (Q˄S) ¬T {[(p → q) ˄ (r → s)] ˄ [(q ˄ s) → t] ˄ ~t} →
(~r ˅ ~p)
→T
V V V V V V V V V F V
V V V V F V V V F V V
V V V F V V F F V F V
V V V F F V F F V V V
V V F V V V V V V F V
V V F V F V V V F V V
V V F F V V V F V F V
V V F F F V V F V V V
V F V V V F V F V F V
V F V V F F V F V V V
V F V F V F F F V F V
V F V F F F F F V V V
V F F V V F V F V F V
V F F V F F V F V V V
V F F F V F V F V F V
V F F F F F V F V V V
F V V V V V V V V F V
F V V V F V V V F V V
F V V F V V F F V F V
F V V F F V F F V V V
F V F V V V V V V F V
F V F V F V V V F V V
F V F F V V V F V F V
F V F F F V V F V V V
F F V V V V V F V F V
F F V V F V V F V V V
F F V F V V F F V F V
F F V F F V F F V V V
F F F V V V V F V F V
F F F V F V V F V V V
F F F F V V V F V F V
F F F F F V V F V V V
 10

Pantallazo del Simulador TRUTH.

Leyes de inferencia.

5) MPP (3-4): {[(q ˄ s) →t] ˄ ~t} → (~q˄~s)

6) Simp(5): ~q

7) Simp (5): ~s

8) MPP (1-6): [(p → q) ˄~q] →~p

9) MPP (2-7): [(r → s) ˄ ~s] →r

10)Adici (8-9): (~r˅~p)

 11

Cuarta etapa

Aplicaciones en el mundo real del Álgebra de Boole

Link presentación en prezi: https://prezi.com/nubmbxcvtfss/teoremas-del-algebra-de-

boole/
 12

Conclusiones

Se logró interpretar el enunciado del Anexo 2 mediante las leyes de la inferencia lógica

matemática, y además de plantear su posible solución se utilizó el simulador TRUTH y se

adjuntó el pantallazo como validación del enunciado problema del Anexo 2.

 13

Bibliografía

http://lgicaepn.blogspot.com.co. (s.f.). Recuperado el 15 de 01 de 2017, de

http://lgicaepn.blogspot.com.co/2011/12/logica-matematica.html

http://newton.matem.unam.mx. (s.f.). Recuperado el 01 de 05 de 2017, de

http://newton.matem.unam.mx:

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

https://issuu.com/. (28 de 10 de 2015). Recuperado el 06 de 05 de 2017, de

https://issuu.com/doraisabel4/docs/simplificaci__n_y_ley_de_la_conjunc