Ejercicio 1 - Unidad1 - Maria Catalina Hernandez

1
Tarea 1 - Métodos para probar la validez de argumentos
María Catalina Hernández Guzmán–

Código 200611
Grupo 58
Pensamiento Lógico y Matemático
Director-Tutor
Jhon Freddy Moreno
Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería de sistemas
Noviembre 2022
2
Introducción
El presente trabajo tiene como finalidad reconocer la importancia del pensamiento lógico
matemático en la resolución de problemáticas de la vida real, mediante la aplicación de cuatro
ejercicios en los que se Identificara la estructura de las leyes de inferencia, la conclusión de
argumentos, demostrando la validez de argumentos a partir de la aplicación de tablas de verdad,
uso del simulador lógica UNAD y reglas de inferencia.
Objetivos
Objetivo general
Comprender los conceptos fundamentales de la lógica proporcional.
Aplicar la lógica proporcional para la solución de problemas de la vida cotidiana.
Objetivos específicos
Diseñar las tablas de verdad
Generar las tablas de verdad mediante el simulador de la UNAD.
3
Desarrollo de los 4 ejercicios de ejemplo.
Ejercicio 1: Proposiciones y tablas de verdad.
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

Letra seleccionada A.
p: El futuro de la educación aún es incierto

q: Para el futuro de la educación es importante que las instituciones busquen nuevos
planes.
r: Para el futuro de la educación es importante que las instituciones busquen nuevos
modelos educativos para recuperar el tiempo perdido durante la pandemia.
𝑝 → (q ∧ 𝑟)
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
➢ Lenguaje natural de la expresión formal:

Si el futuro de la educación aún es incierto entonces Para el futuro de la educación es
importante que las instituciones busquen nuevos planes sin embargo es importante que las
instituciones busquen nuevos modelos educativos para recuperar el tiempo perdido durante
la pandemia.
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.
4
P Q R (q ∧ 𝑟) 𝑝 → (q ∧ 𝑟)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V
Se clasifica como: CONTINGENCIA
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

5
➢ Realizar un vídeo donde explique la forma cómo fue desarrollado el ejercicio 1

seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc
u otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente y
mostrar a la cámara su documento de identificación, ocultando el número del mismo (en
la imagen se debe ver claramente el nombre y apellidos del estudiante).
https://youtu.be/-e9dSISOMnQ
Ejercicio 2: Identificación de las reglas de la inferencia lógica
MODUS TOLLENDO TOLLENS
MODUS PONENDO PONENS
SILOGISMO HIPOTÉTICO
6
➢ Definir las proposiciones simples

P: Sebastián realizó las pruebas ICFES Este año
Q: Sebastián saco un buen puntaje en las pruebas ICFES
S: Sebastián fue admitido en la universidad Popular del Cesar.

1. Si Sebastián no realizó las pruebas ICFES este año entonces Sebastián saco un buen
puntaje en las pruebas ICFES
2. Sebastián no saco un buen puntaje en las pruebas ICFES
Por lo tanto, Sebastián realizó las pruebas ICFES este año
MODUS PONENDO PONENS.

1. Si Sebastián no realizó las pruebas ICFES este año entonces Sebastián saco un buen
puntaje en las pruebas ICFES.
2. Sebastián no realizó las pruebas ICFES este año.
Por lo tanto, Sebastián saco un buen puntaje en las pruebas ICFES
SILOGISMO HIPOTÉTICO.
1. Si Sebastián saco un buen puntaje en las pruebas ICFES entonces Sebastián fue
admitido en la universidad Popular del Cesar.
2. Si Sebastián realizó las pruebas ICFES este año entonces Sebastián saco un buen
puntaje en las pruebas ICFES.
3. Por lo tanto, Si Sebastián realizó las pruebas ICFES Este año entonces Sebastián fue
admitido en la universidad Popular del Cesar.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica.

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
7
A. Si un Administrador empresas liderara organizaciones que contribuyen a la construcción

del progreso económico, entonces un administrador de empresas ayuda a la economía de
un país. Un administrador de empresas no ayuda en la economía de un país.
a. Lenguaje simbólico:
P1: p → q
P2: ~ q
Conclusión: ~p
b. Ley de inferencia aplicada:
p→q
~q
~p
c. Conclusión: Por lo tanto, un administrador empresas no lidera organizaciones que

contribuyen a la construcción del progreso económico.
Ejercicio 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:
Expresión simbólica: [ (p →q)∧(p ∨ r)∧(∼r) ]→ q
Premisas:
P1: (p → q)
P2: (p∨r)p
P3: ∼r
Conclusión: q
8
➢ Definir las proposiciones simples.

P: Sebastián realizó las pruebas ICFES este año
Q: Sebastián saco un buen puntaje en las pruebas ICFES
R: Sebastián fue admitido en la universidad Popular del Cesar.
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natura

Si Sebastián realizó las pruebas ICFES este año entonces Sebastián saco un buen puntaje
en las pruebas ICFES. Sebastián realizó las pruebas ICFES este año O Sebastián fue
admitido en la universidad Popular del Cesar. Sebastián no fue admitido en la universidad
Popular del Cesar. Por lo tanto, Sebastián saco un buen puntaje en las pruebas ICFES
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico
p q r ~r (p → q) (p∨r) [ (p →q)∧(p ∨ [ (p →q)∧(p ∨ r)∧(∼r)

r)∧(∼r) ] ]→ q
V V V F V V F V
V V F V V V V V
V F V F F V F V
V F F V F V F V
F V V F V V F V
F V F V V F F V
F F V F V V F V
F F F V V F F V
9
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.
➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: (p → q)
P2: (p∨r)p
P3: ∼r
Conclusión: q
P4: p MODO TOLLENDO PONENS en P1 y P3 así p1: (p → q)
P3: ~ r
------------------
P
P5: q MODO PONENDO PONENS en P1 y p4 así. P1: (p → q)

P4: p
------------------
q
10
Conclusión.
De este trabajo se puede concluir que la lógica propocional es muy importante para
probar la validez de argumentos y solucionar problemas de la vida real.
Referencias Bibliográficas.
https://www.yumpu.com/es/document/read/67183938/anexo-1-guia-para-el-
desarrollo-de-la-tarea-1-2
https://www.yumpu.com/es/document/read/67183944/anexo-2-simulador-logica-
unad-tarea-1-1
https://www.youtube.com/watch?v=gHY1PYrh3GI
https://padlet.com/plm16042022/2l3fawcfoos0t3sx

Ejercicio 1 - Unidad1 - Maria Catalina Hernandez

Cargado por

Copyright:

Formatos disponibles

Ejercicio 1 - Unidad1 - Maria Catalina Hernandez

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

Ejercicio 1 - Unidad1 - Maria Catalina Hernandez

Cargado por

Copyright:

Formatos disponibles

1

Tarea 1 - Métodos para probar la validez de argumentos

María Catalina Hernández Guzmán–

Universidad Nacional Abierta y a Distancia - UNAD

Desarrollo de los 4 ejercicios de ejemplo.

Ejercicio 1: Proposiciones y tablas de verdad.

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

p: El futuro de la educación aún es incierto

➢ Lenguaje natural de la expresión formal:

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

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

➢ Realizar un vídeo donde explique la forma cómo fue desarrollado el ejercicio 1

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

MODUS TOLLENDO TOLLENS

MODUS PONENDO PONENS

➢ Definir las proposiciones simples

MODUS TOLLENDO TOLLENS

MODUS PONENDO PONENS.

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

A. Si un Administrador empresas liderara organizaciones que contribuyen a la construcción

b. Ley de inferencia aplicada:

MODUS TOLLENDO TOLLENS

c. Conclusión: Por lo tanto, un administrador empresas no lidera organizaciones que

Ejercicio 4: Problemas de aplicación

➢ Definir las proposiciones simples.

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natura

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r ~r (p → q) (p∨r) [ (p →q)∧(p ∨ [ (p →q)∧(p ∨ r)∧(∼r)

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

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P5: q MODO PONENDO PONENS en P1 y p4 así. P1: (p → q)

También podría gustarte