Pensamiento Lógico y Matemático

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

Presentado por:
Cristian Felipe Cárdenas Torres

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA DE INGENIERÍA INDUSTRIAL
SEPTIEMBRE 25, 2022
 Introducción

En esta primera tarea se podrá encontrar el desarrollo de los ejercicios propuestos

en la guía de aprendizaje para esta unidad, en específico los ejercicios A, donde se logra

afianzar y poner en practica los conocimientos acerca de tablas de verdad, preposiciones

y leyes de inferencia lógica.

 Objetivos

Objetivo General

Conocer y aplicar los conceptos de preposiciones, elaboración de tablas de verdad

y aplicar las leyes de inferencia para probar argumentos.

Objetivos específicos

1. Aprender a transcribir correctamente preposiciones simples y compuestas

de lenguaje natural a simbólico y viceversa.

2. Comprender la forma de elaborar tablas de verdad a partir de cualquier

preposición propuesta, y entender su clasificación.

3. Aplicar de forma adecuada las leyes de inferencia.

 Desarrollo Ejercicios Tarea 1
EJERCICIOS A

Ejercicio 1: Proposiciones y tablas de verdad

A. p: El pacto Colombia con las juventudes es una estrategia del Gobierno

q: El pacto Colombia con las juventudes escucha a los jóvenes
r: Permite construir soluciones a los retos del País
(𝑝 → 𝑟) → 𝑞

⮚ Escribir la proposición compuesta propuesta en un lenguaje natural.

Si el pacto Colombia con las juventudes es una estrategia del Gobierno entonces permite
construir soluciones a los retos del país. Por tanto, el pacto Colombia con las juventudes
escucha a los jóvenes.

⮚ 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.

(𝑝 → 𝑟) → 𝑞

𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑒𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 3
𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑓𝑖𝑙𝑎𝑠 = 2𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑒𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 23 = 8

Tabla de verdad manual:

P Q R (𝑝 → 𝑟) (𝑝 → 𝑟) → 𝑞
v v v v v
v v f f v
v f v v f
v f f f v
f v v v v
f v f v v
f f v v f
f f f v f

Se clasifica como= Contingencia

 ⮚ Generar la tabla de verdad a través del simulador Lógica UNAD. El paso a paso
para el uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

Tabla de verdad simulador UNAD:

⮚ Realizar un vídeo de 3 minutos explicando el desarrollo del ejercicio

ENLACE DEL VIDEO:

https://www.youtube.com/watch?v=seMULJsn43Y

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

A. Expresión simbólica

p→q p→q q→s

¬q p p→q
--------------- ----------------- ----------------
¬p q p→s
 - Ley de inferencia

1.
p→q Ley de inferencia: Modus Tollendo Tollens (TT)
¬q
-------------
¬p

2.
p→q Ley de inferencia: Modus Ponendo Ponens (PP)
p
----------------
q

3.
q→s Ley de inferencia: Silogismo hipotético (SM)
p→q
p→s

- Preposiciones simples:
P: Cristian entro a la universidad
Q: Cristian Estudia ingeniería industrial
S: Cristian Inscribió 14 créditos

- Lenguaje natural

1. SI Cristian entro a la universidad entonces Cristian estudia ingeniería industrial. Cristian

no estudia ingeniería industrial. Por lo tanto, Cristian no entro a la universidad.
 2. SI Cristian entro a la universidad entonces Cristian estudia ingeniería industrial. Cristian
entro a la universidad, Por consiguiente, Cristian Estudia ingeniería industrial.

3. Si Cristian estudia ingeniería industrial entonces Cristian inscribió 14 créditos. SI

Cristian entro a la universidad entonces Cristian estudia ingeniería industrial. Por lo cual,
SI Cristian entro a la universidad entonces Cristian Inscribió 14 créditos.

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

A. A. Si Colombia cuenta con las costas del mar caribe, entonces, Colombia está en una
posición privilegiada. Si Colombia está en una posición privilegiada, entonces, Colombia
cuenta con el océano pacifico.
Preposiciones:
P: Colombia cuenta con las costas del mar caribe
Q: Colombia está en una posición privilegiada
R: Colombia cuenta con el océano pacifico

Lenguaje simbólico:
(P→Q) ∧(Q→R)
Ley de inferencia: Ley de silogismo hipotético para premisas 1 y 2.
P→Q premisa 1
Q→R premisa 2
-----------
P→R conclusión

Conclusión: si Colombia cuenta con las costas del mar Caribe, entonces, Colombia cuenta con
el océano pacifico.
Ejercicio 4: Problemas de aplicación

A. Expresión simbólica:

[ (𝑝 ⟶ 𝑞) ∧ (p ∧ 𝑠)] → q

Premisas:
P1: (𝑝 ⟶ 𝑞)
P2: (p ∧ 𝑠)
Conclusión: q

Definición de preposiciones simples:

P: Cristian estudia ingeniería industrial

Q: Cristian mira el curso de PLM
S: Asiste a los encuentros B-Learning

Lenguaje natural:

Si Cristian estudia ingeniería industrial, entonces, Cristian mira el curso de PLM.

Cristian estudia ingeniería industrial y asiste a los encuentros B-Learning. por lo
tanto, Cristian mira el curso de PLM.

Tabla de verdad manual:

𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑒𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 3
𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑓𝑖𝑙𝑎𝑠 = 2𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑒𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 = 23 = 8

P Q S (𝑝 → q) (𝑝 ∧ s) (𝑝 ⟶ 𝑞) ∧ (p ∧ 𝑠) [ (𝑝 ⟶ 𝑞) ∧ (p ∧ 𝑠)] → q
v v v v v v v
v v f v f f v
v f v f v f v
v f f f f f v
f v v v f f v
f v f v f f v
f f v v f f v
f f f v f f v

Se clasifica como: tautología

Tabla de verdad a través del simulador:

Leyes de inferencia:

𝑝⟶𝑞
p∧𝑠
-----------------
q

Premisas:

P1: (𝑝 ⟶ 𝑞)
P2: (p ∧ 𝑠)
Conclusión: q

P3: p ……. Simplificación (S)en p2

P4: s ……. Simplificación (S) en p2
P5: q: ……modus Ponendo ponens (PP) p1 y p3

P1: P ⟶ q
P3: P
---------------
Conclusión: Q
 Conclusión

A través de este trabajo puedo concluir que el uso de la lógica proposicional, además

de ser sumamente útil, es algo que se aplica en la vida cotidiana, y son herramientas que

como seres humanos usamos por inercia y aplicamos sin darnos cuenta, y que, al caer en

cuenta de ello, se puede entender de mejor manera el uso de la misma.

 Bibliografía

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49).

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

lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:
Editorial Tébar Flores.

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

México, D.F, Larousse - Grupo Editorial Patria.

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

México, D.F, Larousse - Grupo Editorial Patria.