1

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

David Santiago Jiménez Cipagauta

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

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático

Mayra Johanna Garrido

Saravena, Arauca

24 de abril de 2022
 2

Introducción

En el presente documento se encuentra el desarrollo de la actividad propuesta, la cual

integra cuatro ejercicios que permiten observar, analizar y comprender las etapas que suceden

dentro de la validación de proposiciones lógicas.

El pensamiento lógico es algo que diferencia a los seres humanos de la gran mayoría de

animales que existen en el planeta y por lo cual sobresalen, esto les que permite analizar sucesos

físicos o etéreos, entenderlos y abstraer la información de forma práctica y de manera que pueda

ser aplicada o relacionada en algún otro ámbito. Día a día los humanos se enfrentan a situaciones

en las que debe hacer uso de la lógica, afrontando realidades, ideas y conceptos que ponen a

prueba el desarrollo de su intelecto y el aprendizaje de nueva información que le permite excavar

más profundo en el pozo del conocimiento.

Así, en favor del aprendizaje y el conocimiento, se resuelven cada uno de los ejercicios

presentes en la actividad, de manera que se ejercite la lógica y se obtengan resultados e

información que amplíen el conocimiento, tal como las leyes de inferencia y el uso de los

conectores lógicos.
 3

Objetivos

• Identificar las proposiciones dentro del lenguaje natural y realizar de forma

correcta la conversión a lenguaje lógico y de lógico a natural.

• Comprender la manera en la que se realizan las tablas de verdad.

• Explicar de forma eficaz los conocimientos adquiridos durante el desarrollo de la

actividad.

• Diferenciar las leyes de inferencia y reconocer su importancia en el entendimiento

y la aplicación de la lógica.
 4

Desarrollo de la actividad propuesta

Ejercicio 1: Proposiciones y tablas de verdad

Teniendo en cuenta las siguientes proposiciones desarrolle el primer ejercicio:

• p: Skype es una herramienta de comunicación sincrónica

• q: Facebook es una red social muy utilizada.

• r: Las redes sociales nos mantienen informados

• [(𝑝 ∧ 𝑞) → 𝑟] ∧ (~𝑞 ∧ ~r)

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

Si Skype es una herramienta de comunicación sincrónica y Facebook es una red social

muy utilizada, entonces las redes sociales nos mantienen informados. Pero Facebook no es una

red social muy utilizada y las redes sociales no nos mantienen informados.

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

Tabla 1

Tabla de verdad manual No°1.

p q r ~q ~r p∧q (q∧p)→r ~q∧~r [(q∧p)→r]∧(~q∧~r)

V V V F F V V F F
V V F F V V F F F
V F V V F F V F F
V F F V V F V V V
F V V F F F V F F
F V F F V F V F F
F F V V F F V F F
F F F V V F V V V
Fuente: autor

Se clasifica como contingencia.

 5

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

Imagen 1

Tabla de verdad simulada No°1.

Datos generados de JTabla (Jairo Marín, ECBTI, 2019).

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

seleccionado

https://youtu.be/-aN63D7aQwE (David Jiménez, 2022)

 6

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

Teniendo en cuenta las siguientes expresiones simbólicas desarrolle el segundo ejercicio:

A. r∧s B. a→b C. p→q

b→c ~q
s a→c ~p

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

A. La expresión representa la Simplificación (S)

B. La expresión representa el Silogismo Hipotético (SH)

C. La expresión representa el Modus Tollendo Tollens (TT)

2. 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).

• a, p, r: Los tutores de la UNAD hacen un buen acompañamiento.

• b, q, s: Los estudiantes de la UNAD cumplen con sus trabajos.

• c: La UNAD es la mejor universidad a distancia de Colombia.

 7

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

A. Los tutores de la UNAD hacen un buen acompañamiento y los estudiantes de la

UNAD cumplen con sus trabajos. Por lo tanto, es cierto que los estudiantes cumplen

con sus trabajos.

B. Si los tutores de la UNAD hacen un buen acompañamiento, entonces los estudiantes

de la UNAD cumplen con sus trabajos. Si los estudiantes de la UNAD cumplen con

sus trabajos, entonces la UNAD es la mejor universidad a distancia de Colombia. Por

tanto, si los tutores de la UNAD hacen un buen acompañamiento, entonces la UNAD

es la mejor universidad a distancia de Colombia.

C. Si los tutores de la UNAD hacen un buen acompañamiento, entonces los estudiantes

de la UNAD cumplen con sus trabajos. Sin embargo, los estudiantes de la UNAD no

cumplen con sus trabajos. Por lo tanto, los tutores de la UNAD no hicieron un buen

acompañamiento.
 8

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

Teniendo en cuenta los siguientes argumentos simbólicos desarrolle el segundo ejercicio:

• Si bailar es uno de los mejores entretenimientos para tu mente, entonces el Taichí es

excelente para la mente. Si caminar puede proporcionar importantes beneficios para la

salud entonces nadar es un ejercicio de bajo impacto. Bailar es uno de los mejores

entrenamientos para tu mente o caminar puede proporcionar importantes beneficios para

la salud.

1. Identificar la conclusión del argumento

El Taichí es excelente para la mente o nadar es un ejercicio de bajo impacto.

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

Silogismo disyuntivo (DS)

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

p→q
r→s
p∨r
------------
∴q∨s
 9

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) ∧ (q⟶ r) ∧ ( ~ r)] ⟶ ( ~ p)

• Premisas:

o P1: (p ⟶ q)

o P2: (q ⟶ r)

o P3: (~ r)

• Conclusión: ~ p

1. Definir las proposiciones simples

Las proposiciones deben ser definidas bajo una descripción basada en un contexto, el que

se solicita es un contexto académico.

• p: La UNAD tiene muchos servicios disponibles para los estudiantes.

• q: La UNAD tiene un servicio de biblioteca.

• r: Los estudiantes de la UNAD pueden obtener información de los libros que ofrece

la biblioteca.

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

Si la UNAD tiene muchos servicios disponibles para los estudiantes, entonces la UNAD

tiene un servicio de biblioteca. Si la UNAD tiene un servicio de biblioteca, entonces los

estudiantes de la UNAD pueden obtener información de los libros que ofrece la biblioteca. Pero

los estudiantes de la UNAD no pueden obtener información de los libros que ofrece la biblioteca.

Por lo tanto, la UNAD no tiene muchos servicios disponibles para los estudiantes.
 10

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

Tabla 2

Tabla de verdad manual No°2.

p q r ~p ~r p → q→ (p ⟶ q) ∧ (p ⟶ q) ∧ (q⟶ [(p ⟶ q) ∧ (q⟶ r) ∧ ( ~

q r (q⟶ r) r) ∧ ~r r)] ⟶ ( ~p)
V V V F F V V V F V
V V F F V V F F F V
V F V F F F V F F V
V F F F V F V F F V
F V V V F V V V F V
F V F V V V F F F V
F F V V F V V V F V
F F F V V V V V V V
Fuente: autor

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

Imagen 2

Tabla de verdad simulada No°2.

Datos generados de JTabla (Jairo Marín, ECBTI, 2019).

 11

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

Premisas:

• P1: (p ⟶ q)

• P2: (q ⟶ r)

• P3: (~ r)

q→r
~r
------------
∴ ~q

P4: ~q ………… Modus Tollendo Tollens entre P2 y P3

p→q
~q
------------
∴ ~p

P5: ~p ………… Modus Tollendo Tollens entre P1 y P4

 12

Conclusiones

A partir de lo desarrollado en esta actividad, se puede concluir que las proposiciones

simples son afirmaciones que pueden tener solamente dos valores, verdadero o falso, y

dependiendo de sus valores y la forma en la que se combinan con conectores como “y”, “o”,

“entonces”, pueden formar una gran variedad de proposiciones complejas al igual que distintas

conclusiones o resultados. También es importante mencionar que esas proposiciones pueden ser

“traducidas” a un lenguaje simbólico y viceversa, de forma en la que es más fácil hacer uso de la

lógica.

Gracias a lo anterior, al momento de identificar las proposiciones dentro de un texto,

argumento, o espacio específico, se puedo comprobar la validez o no de los mismos haciendo uso

de herramientas como lo son las tablas de valor, donde se analiza la proposición compleja de

manera más completa y se fragmenta en trozos más sencillos de analizar; o con las leyes de

inferencia, que permiten llegar a la conclusión de manera mucho más rápida.

 13

Referencias

David Jiménez. (09 de 04 de 2022). Ejercicio 1 Métodos para probar la validez de argumentos

[Video]. Youtube. https://youtu.be/-aN63D7aQwE

Jairo Marín, ECBTI. (2019). JTabla Simulador de Tablas de Verdad online. Obtenido de JTabla:

http://logicaunad.com/jtruth/