Unidad 1 – Tarea 1

Métodos para probar la validez de argumentos

William Jr. Gonzalez Utria – Código 1001938984

Pensamiento Lógico y Matemático 200611A_1145

Yolima Auxiliadora Rocha

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2022
 Tabla de Contenido

Introducción

Ejercicio 1: Proposiciones y tablas de verdad

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

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

Ejercicio 4: Problemas de aplicación

Conclusiones

Referencias bibliográficas

Lista de Tablas

Tabla 1. Tabla de verdad manual Ejercicio 1

Tabla 2. Tabla de verdad manual Ejercicio 1

Lista de Figuras

Figura 1. Tabla de verdad generada por el simulador Lógica UNAD Ejercicio 1

Figura 1. Tabla de verdad generada por el simulador Lógica UNAD Ejercicio 1
 Introducción

La lógica proposicional, así como las leyes de inferencia, buscar evaluar la verdad y su nivel

absoluto. El estudio y la comprensión de la estructura de la lógica es de vital importancia en

todas las ramas que se derivan de la ciencia. Los métodos de los que nos podemos valer para

probar la validez de un argumento están muy presentes en nuestra vida diaria, así que la práctica

con ejercicios de los mismos nos garantiza adquirir cualidades matemáticas especialmente útiles

en muchos campos y agudiza nuestra capacidad de pensamiento.

 Objetivos

General

• Comprender los conceptos fundamentales de la lógica proposicional y los aplica

para la resolución de problemas

Específicos

• Identificar en forma clara uno de los métodos para demostrar la validez de

argumentos, mediante la aplicación correcta de las reglas de inferencia lógica.

• Aplicar las tablas de verdad y reglas de inferencia para probar la validez de

argumentos.
 Desarrollo de ejercicios

Ejercicio 1: Proposiciones y tablas de verdad

A. 𝑝 → (q ∧ 𝑟)

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

• Escriba la proposición compuesta propuesta en lenguaje natural.

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 ∧ 𝑟) = 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. Y Para el futuro de

la educación 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.

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
Por tal motivo el resultado de mi tabla de verdad esta es una proposición Se clasifica

como: Contingencia

CONTINGENCIA

Tabla 1. Tabla de verdad manual Ejercicio 1

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

Figura 1. Tabla de verdad generada por el simulador Lógica UNAD Ejercicio 1

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

• Nombrar la ley de inferencia que representa cada expresión simbólica.

E. Expresión simbólica

1 2 3

~ p→q ~p→q q→s 1. Modus Tollendo Ponens (MTP)

~q ~ p p→p 2. Modus Tollendo Ponens (MTP)

------------ ------------ ------------ 3. Silogismo Hipotético (SH)

p q p→s

(MTP) (MTP) (SH)

• Definir las proposiciones simples

p: William realiza trabajos de desarrollo

q: William es Ingeniero de Sistemas

s: Desarrollar no es muy estresante

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

William No realiza trabajos de desarrollo entonces William es Ingeniero de Sistemas.

William No es Ingeniero de Sistemas.

Por lo tanto, William realiza trabajos de desarrollo.

William No realiza trabajos de desarrollo entonces William es Ingeniero de Sistemas.

William No realiza trabajos de desarrollo.

Por lo tanto, William es Ingeniero de Sistemas.

Si William es Ingeniero de Sistemas entonces Desarrollar no es muy estresante.

Si William realiza trabajos de desarrollo, William es Ingeniero de Sistemas

Por lo que, William es Ingeniero de Sistemas entonces Desarrollar no es muy estresante.

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

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.

• Identificar la conclusión del argumento.

p: Si un Administrador empresas liderara organizaciones que contribuyen a la construcción del

progreso económico

q: un administrador de empresas ayuda a la economía de un país.

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.

por lo tanto, Un administrador de empresas no ayuda en la economía de un país.

La conclusión del argumento es: Que Un administrador de empresas no ayuda en la

economía de un país

• Nombrar la ley de inferencia que se aplica para probar el argumento.

La ley es Simplificación (S)

• Definir la expresión del argumento en lenguaje simbólico o formal.

p→q

--------
~q
Ejercicio 4: Problemas de aplicación

A. Expresión simbólica: [ (p →q)∧(p ∨ r)∧(∼r) ]→ q

Premisas:

P1: (p → q)

P2: (p∨r)

P3: ∼r

Conclusión: q

• Definir las proposiciones simples

p: Si es de mañana entonces ya amaneció.

q: si ya amaneció voy a desayunar.

r: ya que desayunar se hace en la mañana

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

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

Si es de mañana entonces ya amaneció. Entonces, si ya amaneció voy a desayunar,

Y Si es de mañana entonces ya amaneció O si ya amaneció voy a desayunar. y ya que desayunar

se hace en la mañana. O ya que no se desayuna en la mañana. En conclusión, si ya amaneció

voy a desayunar.
 • Generar una tabla de verdad manualmente

p q r (p→q) (pvr) (p→q)^(pvr) (~r) (p→q)^(pvr)^(~r) (p→q)^(pvr)^(~r)→q

F F F V F F V F V
F F V V V V F F V
F V F V F F V F V
F V V V V V F F V
V F F F V F V F V
V F V F V F F F V
V V F V V V V V V
V V V V V V F F V
Tabla 2. Tabla de verdad manual Ejercicio 4

Se clasifica como: Tautología

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

Figura 2. Tabla de verdad generada por el simulador Lógica UNAD Ejercicio 4

 Conclusiones del trabajo desarrollado

La lógica, mediante de la formalización del lenguaje y de sus reglas básicas, brinda las

herramientas que se necesitan para resolver de forma rigurosa problemas cuyos orígenes y

aplicaciones están en diferentes áreas de las ciencias.

El saber aplicar todos y cada uno de los métodos presentados de forma adecuada y

correcta nos proporcionará las bases para llegar a la conclusión esperada de acuerdo al

argumento planteado.

.
 Referencias Bibliográficas

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana de

Ciencias Aplicadas (UPC) https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/
41333?page=10

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. (pp. 40-
49).  El Cid Editor  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Editorial Tébar
Flores  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). 

Larousse - Grupo Editorial Patria  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/
unad/39454?page=30

Castaño, C. (2017). OVI. Proposiciones y tablas de verdad.  Repositorio Institucional

UNAD.  http://hdl.handle.net/10596/13871  

Castaño, C. (2017). OVI. Leyes de inferencia.  Repositorio Institucional

UNAD.  http://hdl.handle.net/10596/13869