17o - Tarea - 1 - Johan Andres Olarte Ladino

Universidad Nacional Abierta y a Distancia
Lógica Matemática
(90004A_763)
Docente: Juan Manuel Aldana Porras
Tarea 1. Métodos para probar la Validez de

Argumentos
Johan Andrés Olarte Ladino

C.C. 1.024.518.922
Ingeniería de sistemas
Bogotá; Julio de 2020
INTRODUCCIÓN
La Tarea 1, aborda los Métodos para Probar la Validez de Argumentos, temas introductorios
de Lógica Matemático, a través de la estrategia de Aprendizaje Basado en Tareas (ABT), se
desarrollarán habilidades, relacionadas con el razonamiento, necesaria para la demostración
de teoremas matemáticos, comprensión y/o diseños de algoritmos, realizar conclusiones de
experimentos, hasta las situaciones más cotidiana de tomas de decisiones.
Los ejercicios seleccionados corresponden a los de la letra (B).
Objetivos:
 Aplicar las Tablas de Verdad y reglas de inferencia para probar la validez de

argumentos.
 Conocer y usar el Simulador Lógica UNAD, el cual, es una herramienta de apoyo al

desarrollo de las tablas de verdad.
DESARROLLO
Ejercicio 1: Proposiciones y tablas de verdad.
p: El tiburón blanco también es llamado el gran depredador de los mares.

q: El tiburón blanco se encuentra en aguas templadas de casi todos los océanos.
r: El tiburón blanco son un grupo de peces herbívoros marinos.
(p ∨ r) → (q ∧ r)
1.A) Escriba la proposición compuesta propuesta en lenguaje natural.
SI, el tiburón blanco también es llamado el gran depredador de los mares o son un grupo
de peces herbívoros marinos, entonces el tiburón blanco se encuentra en aguas
templadas de casi todos los océanos y son un grupo de peces herbívoros marinos
1.B) Generar la tabla de verdad a través del simulador Lógica UNAD.
El Resultado es una Contingencia.

1.C) Generar la tabla de verdad Manual:
p q r p∨r q∧r (p ∨ r) ➙ (q ∧ r)
V V V V V V
V V F V F F
V F V V F F
V F F V F F
F V V V V V
F V F F F V
F F V V F F
F F F F F V
El Resultado es una Contingencia.
 Enlace a video evidencia ejercicio 1: https://youtu.be/WNN7DZKRzIA
Ejercicio 2: Identificación de las reglas de la inferencia lógica
Expresión simbólica:
2.A) Nombrar la ley de inferencia que representa cada expresión simbólica:
Modus Tollendo Ponens Simplificación Disyuntiva Simplificación

(MTP) (SD) (S)
2.B) Definir las proposiciones simples:
p: He ido a la Clase de Física III

q: He ido al Laboratorio E3MC
p ∨ r: He ido a la Clase de Física III o me he ido al Laboratorio E3MC

¬q: No he ido al Laboratorio EM3
———-
p: Por tanto, He ido a la Clase de Física III
p: Realizo Practicas de Electronica

q: Voy al Odontologo
r: Hoy es Jueves
p ∨ r: Realizo Practicas de Electronica o Voy al Odontologo

p ➙ r: Realizo Practicas de Electronica, Entonces hoy es Jueves
q ➙ r: Voy al Odontologo, Entonces hoy es Jueves
———-
r: Hoy es Jueves
p: Voy al Seminario de Eletrotermomateriales

q: Voy al Taller Eléctrico
p ∧ q: Voy al Seminario de Eletrotermomateriales y Voy al Taller Eléctrico

———-
q: Voy al Taller Eléctrico
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Argumentos:
● Los pintores dibujan bien o realizan exposición de las obras de arte.

● Los pintores dibujan bien entonces obtienes reconocimientos.
● Realizan exposición de las obras de arte, entonces son reconocidos en las principales
ciudades.
3.A) Identificar la conclusión del argumento.
Los pintores obtienen reconocimientos o son reconocidos en las principales ciudades
3.B) Nombrar la ley de inferencia que se aplica para probar el argumento.
Silogismo Disyuntivo (DS)
3.C) Definir la expresión del argumento en lenguaje simbólico o formal.
p: los pintores dibujan bien

q: los pintores realizan exposición de las obras de arte
r: los pintores obtienen reconocimiento
s: los pintores son reconocidos en las principales ciudades.
Ejercicio 4: Problemas de aplicación

4.A) Definir las proposiciones simples y llevarlas al lenguaje natural.
p: Los Matemáticos Ganan Premios Mundiales

q: Los Matemáticos resuelven problemas muy difíciles
r: Los Matemáticos Razonan Mucho.
Los Matemáticos Ganan Premios Mundiales y Si Ganan Premios Mundiales, entonces

resuelven problemas muy difíciles y Si Ganan Premios Mundiales, entonces resuelven
problemas muy difíciles, por lo tanto, Razonan Mucho y Si resuelven problemas muy
difíciles, entonces Razonan Mucho. Por lo tanto, Razonan Mucho
4.B) Generar la tabla de verdad a través del simulador Lógica UNAD.
El Resultado es una Tautología.
4.C) Generar la tabla de verdad Manual:

El Resultado es una Tautología.
4.D) Demostración de la validez del argumento mediante las leyes de la inferencia lógica
P1: p
P2: p ➙ q
P3: p ➙ (q ➙ r)
P4: q ➙ r
P5: p ∧ (p ➙ q) Conjunción P1, P2
P6: p ∧ (¬p ∨ q) Implicación y Disyuncion P5
P7: (p ∧ ¬p) ∨ (p ∧ q) Distributiva P6
P8: F ∨ (p ∧ q) Complemento P7
P9: p ∧ q Identidad P8
P10: p Simplificación P9
P11: q Simplificación P9
P12: q ➙ r Modus Ponendo Ponens P3, P10
P13: q ➙ r Idempotencia P4, P12
C: r Modus Ponendo Ponens P11, P13
CONCLUSIÓN
Los temas desarrollados sobre los Métodos para probar la validez de argumentos en esta guía
de actividades y rúbrica de evaluación de la Tarea 1 fueron las proposiciones y tablas de
verdad, identificación de las reglas de la inferencia lógica, aplicación de las reglas de la
inferencia lógica, y los problemas de aplicación, en tal sentido el primer ejercicio fue
realizando a partir de un argumento seleccionado cuya letra fue la B para luego escribir la
proposición compuesta propuesta en lenguaje natural, así mismo generar la tabla de verdad a
través del simulador Lógica UNAD y una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología, contingencia o contradicción,
considerando que Tautología, es una expresión lógica que es verdadera para todos los
posibles valores de verdad de sus componentes atómicos, las proposiciones dan el resultado
positivo, mientras que la Contradicción, son aquellas fórmulas que son falsas para cualquier
valoración de los símbolos proposicionales que contiene, las proposiciones dan el resultado
negativo. Y la Contingencia, son aquellas fórmulas cuyo valor de verdadera falsedad depende
de la valoración de los símbolos proposicionales que contiene, las proposiciones dan un
resultado negativo y positivo.
El segundo ejercicio se identificó de las reglas de la inferencia lógica, dada una expresión
simbólica, mientras que en el tercer ejercicio se aplicó las reglas de la inferencia lógica tales
como; Modus Ponens, Modus Tollens, Silogismo Hipotético, Silogismo disyuntivo, Dilema
constructivo, Absorción, Simplificación, Conjunción, Adición. Y en el cuarto problema
realizaron proposiciones simples bajo un contexto académico y expresarlas simbólicamente
con su respectiva tabla de la verdad que servirá para determinar los valores de verdad de
proposiciones compuestas
El conocimiento adquirido en Lógica Matemática, me permitirá enfrentar de manera objetiva

y claras infinidades de problemas o situaciones desde las más complicada hasta la elemental
en distintos ámbitos desde la académica, la profesional hasta la cotidiana personal.
Referencia Bibliográfica:
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR. (pp. 40-49). El Cid Editor.
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. México, D.F. (pp.

34-37). Larousse - Grupo Editorial Patria.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

78 - 99). Ediciones Elizcom, Madrid.

17o - Tarea - 1 - Johan Andres Olarte Ladino

Cargado por

Copyright:

Formatos disponibles

17o - Tarea - 1 - Johan Andres Olarte Ladino

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

17o - Tarea - 1 - Johan Andres Olarte Ladino

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional Abierta y a Distancia

Tarea 1. Métodos para probar la Validez de

Johan Andrés Olarte Ladino

 Aplicar las Tablas de Verdad y reglas de inferencia para probar la validez de

 Conocer y usar el Simulador Lógica UNAD, el cual, es una herramienta de apoyo al

p: El tiburón blanco también es llamado el gran depredador de los mares.

1.A) Escriba la proposición compuesta propuesta en lenguaje natural.

1.B) Generar la tabla de verdad a través del simulador Lógica UNAD.

El Resultado es una Contingencia.

El Resultado es una Contingencia.

 Enlace a video evidencia ejercicio 1: https://youtu.be/WNN7DZKRzIA

Ejercicio 2: Identificación de las reglas de la inferencia lógica

2.A) Nombrar la ley de inferencia que representa cada expresión simbólica:

Modus Tollendo Ponens Simplificación Disyuntiva Simplificación

p: He ido a la Clase de Física III

p ∨ r: He ido a la Clase de Física III o me he ido al Laboratorio E3MC

p: Realizo Practicas de Electronica

p ∨ r: Realizo Practicas de Electronica o Voy al Odontologo

p: Voy al Seminario de Eletrotermomateriales

p ∧ q: Voy al Seminario de Eletrotermomateriales y Voy al Taller Eléctrico

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

● Los pintores dibujan bien o realizan exposición de las obras de arte.

3.A) Identificar la conclusión del argumento.

Los pintores obtienen reconocimientos o son reconocidos en las principales ciudades

3.B) Nombrar la ley de inferencia que se aplica para probar el argumento.

Silogismo Disyuntivo (DS)

3.C) Definir la expresión del argumento en lenguaje simbólico o formal.

p: los pintores dibujan bien

Ejercicio 4: Problemas de aplicación

p: Los Matemáticos Ganan Premios Mundiales

Los Matemáticos Ganan Premios Mundiales y Si Ganan Premios Mundiales, entonces

4.B) Generar la tabla de verdad a través del simulador Lógica UNAD.

El Resultado es una Tautología.

4.C) Generar la tabla de verdad Manual:

El conocimiento adquirido en Lógica Matemática, me permitirá enfrentar de manera objetiva

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. México, D.F. (pp.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

También podría gustarte