Universidad Nacional Abierta Y A Distancia UNAD

Sede Puerto Colombia

Escuela De Ciencias Básicas, Tecnologías E Ingenierías ECBTI

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

Pensamiento lógico y matemático

Grupo No 200611_28

Estudiante: Alfonso Aguilar De la hoz

Identificación: 1048288222

Tutor: José Ramon Jinete

Marzo de 2022
 Introducción

El presente trabajo consta de 4 ejercicios; donde se desarrollarán aplicando los conceptos

de pensamiento lógico y matemático, donde analizaremos como aplicar las tablas de
verdad y las reglas de inferencia para validar argumentos que nos podremos
encontrar en nuestra vida cotidiana o profesional.
 Objetivos

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

argumentos

• presentar en el foro de la actividad tarea 1: Métodos para probar la validez de

argumentos el desarrollo del ejercicio seleccionado.
 Desarrollo de la guía de aprendizaje

Ejercicio 1: Proposiciones y tablas de verdad

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

p: El pensamiento Lógico Matemático está relacionado con la capacidad de emplear el

razonamiento lógico.

q: La lógica es clave para el desarrollo de las habilidades matemáticas

r: Los seres humanos tenemos capacidad de desarrollar diversos tipos de habilidades

(𝑝∧ 𝑞)→(𝑝 ∧𝑟)

partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

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

⮚ 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.
⮚ 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.
⮚Realizar un vídeo de 3 minutos: Donde usted explique de forma detallada cómo realizó
el ejercicio 1 de su letra escogida.

Respuesta.

(𝑝∧ 𝑞)→(𝑝 ∧𝑟)

a) El pensamiento lógico matemático esta relacionado con la capacidad de emplear

el razonamiento lógico; y la lógica que es la clave para el desarrollo de las
habilidades matemáticas, entonces, el pensamiento lógico matemático esta
 relacionado con la capacidad de emplear el razonamiento lógico teniendo en
cuenta que los seres humanos tenemos la capacidad de desarrollar diversos tipos
de habilidades.
b)

𝑝 𝑞 𝑟 (𝑝∧ 𝑞) (𝑝∧ r) (𝑝∧ 𝑞) → (𝑝 ∧𝑟)

V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F F V
F V F F F V
F F V F F V
F F F F F V

Contingencia

c)

Link del video: https://www.loom.com/share/722a0037a99641d5b7e3267dd612f0c5

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

Descripción del ejercicio: A continuación, encuentra el lenguaje simbólico de expresiones

que representan algunas leyes de inferencia.

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
⮚ Nombrar la ley de inferencia que representa cada expresión simbólica.
⮚ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
┐┐basada en un contexto, el que se solicita es un contexto académico (puede usar las
mismas proposiciones
simples en cada una de las 3 expresiones simbólicas seleccionadas),
ejemplo:
● p: Carlos estudia en la UNAD
● q: La UNAD es una Universidad Pública

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
⮚ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
Respuesta.

a)

Adjunción

Modus tollendo Tellens

Modus tollendo Tellens

b)

┐s "Pedro no puede comer”

t “Pedro tiene hambre”

p "Juan se matriculó en el curso de inglés”

┐q “Juan no estudia informática”
q “Juan estudia informática”

┐s “Jorge no es cocinero”
┐r “Jorge no cocina”
c)

┐s "Pedro no puede comer”

t “Pedro tiene hambre”

┐s ∧ t "Pedro no puede comer y tiene hambre”

p ┐q "Juan se matriculó en el curso de inglés, entonces no estudia

informática”
q “Juan estudia informática

┐p "Juan se matriculó en el curso de inglés”

┐s ┐r “Jorge no es cocinero, entonces no cocina”

┐s “Jorge no es cocinero”

┐r “Jorge no cocina”

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

continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

E. Pitágoras es un matemático griego, entonces, Pitágoras es el fundador de la Escuela

pitagórica. Pitágoras es un matemático griego. a. Lenguaje simbólico:
_____________________________
b. Ley de inferencia aplicada: _______________________
c. Conclusión: ______________________________

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
⮚ Definir la expresión del argumento en lenguaje simbólico o formal.
⮚ Nombrar la ley de inferencia que se aplica para probar el argumento
⮚ Identificar la conclusión del argumento.
Respuesta.
a) p q
p
q

b) Modus ponendo ponems

c) “Pitágoras es el fundador de la escuela Pitagórica”

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:

A partir de la expresión simbólica seleccionada, el estudiante deberá:

⮚ Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico, ejemplo:

● p: Carlos estudia en la UNAD

● q: La UNAD es una Universidad Pública

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.

⮚ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 ⮚ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para
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

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

Respuesta.

𝑝1 (~𝑝 ⋀ ∼ 𝑟)

𝑝2 (~𝑝 → 𝑟)

𝑝3 (𝑞 → −𝑟)

a) ~𝑝 " 𝐿𝑢𝑖𝑠 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑒𝑙 𝑝𝑎𝑟𝑡𝑖𝑑𝑜 𝑑𝑒 𝐹𝑢𝑡𝑏𝑜𝑙"

~𝑟 " 𝐿𝑢𝑖𝑠 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑛𝑐ℎ𝑎"
𝑞 " 𝐿𝑢𝑖𝑠 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑠𝑎"

b) (~𝑝 ∧∼ 𝑟) " 𝐿𝑢𝑖𝑠 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑒𝑙 𝑝𝑎𝑟𝑡𝑖𝑑𝑜 𝑑𝑒 𝐹𝑢𝑡𝑏𝑜𝑙 𝑦 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑛𝑐ℎ𝑎"

(~𝑝 →∼ 𝑟) " 𝐿𝑢𝑖𝑠 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑒𝑙 𝑝𝑎𝑟𝑡𝑖𝑑𝑜 𝑑𝑒 𝐹𝑢𝑡𝑏𝑜𝑙, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑠𝑎"

c) (𝑞 → ~𝑟) " 𝐿𝑢𝑖𝑠 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑠𝑎, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑛𝑐ℎ𝑎"

Conclusión (𝑞 ∧ ~𝑟) " 𝐿𝑢𝑖𝑠 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑠𝑎 𝑦 𝑛𝑜 𝑒𝑠𝑡á 𝑒𝑛 𝑙𝑎 𝑐𝑎𝑛𝑐ℎ𝑎"

𝑝 𝑞 𝑟 ~𝒑 ~𝒓 (−𝒑 ∧∼ 𝒓) (~𝒑 → 𝒓) (𝒒 → ~𝒓) (𝒒 ∧ ~𝒓) (−𝒑 ⋀ ∼ 𝒓)⋀(−𝒑 [(~𝒑 ⋀ ∼ 𝒓)⋀(~𝒑 [(~𝒑 ⋀ ∼ 𝒓)⋀(~𝒑
→ 𝒒) → 𝒒)⋀(𝒒 → ~𝒓)] → 𝒒)⋀(𝒒 → ~𝒓)]
→ (𝒒⋀~𝒓)
V V V F F F V F F F F V
V V F F V F V V V F F V
V F V F F F V V F F F V
V F F F V F V V F F F V
F V V V F F V F F F F V
F V F V V V V V V V V V
F F V V F F F V F F F V
F F F V V V F V F F F v
Tautología
 Conclusiones

Un argumento es una secuencia o serie de proposiciones en la que una de ellas, llamada

conclusión, se infiere o se obtiene de las premisas. La validez de los argumentos consiste
en que las premisas y la conclusión que se encuentran lógicamente estructurados, sin
importar si un argumento es verdadero o falso, puesto que lo importante será destacar la
coherencia lógica o formal y la aplicación correcta de las reglas y leyes.

Para saber si un argumento es lógico o no, hay que ver si coincide con una ley de
implicación, puesto que todo raciocinio que tenga la forma de una de estas leyes será
válido, y el que no coincida no lo será.

Debe tenerse en cuenta que en muchos argumentos se aplican varias leyes de

implicación y equivalencia. Existen argumentos en los que se van obteniendo
conclusiones enlazadas que son resultado de la aplicación de alguna de las leyes
anteriores.
 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