Tarea1 PensamientoLogico

1
Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos
Aldair David Hernández Angulo
Pensamiento Lógico y Matemático 200611
Grupo xx (Ejemplo grupo)
Director-Tutor
Lupita Fernandez (Ejemplo nombre del tutor)
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
2
Introducción
En el presente trabajo se desarrollan cuatro ejercicios que refieren a temas como la lógica
proposicional, donde se elaboran el paso a paso de la validación de proposiciones, tablas de
verdad y la aplicación de las leyes de inferencia, usando el razonamiento lógico, relacionando
situaciones de la vida cotidiana.
El pensamiento lógico matemático, fomenta el desarrollo de pensamiento abstracto para la
resolución en situaciones de la vida real.
Objetivos
General
3
Identificar los métodos para probación de argumentos.
Específicos
 Conocer las tablas de verdad, sus aplicaciones, su representación gráfica y sus
variables.
 Identificara los operadores lógicos en los argumentos dados.
 Conocer las leyes de inferencia lógica, sus reglas y limitaciones.
Ejercicio 1: Proposiciones y tablas de verdad

4
Descripción del ejercicio:
A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el desarrollo
del ejercicio 1:
A. p: El estudio constante es clave para el éxito académico.
q: La disciplina en el estudio refuerza el aprendizaje.
r: El apoyo familiar motiva el esfuerzo del estudiante.
p → (q ∧ r)
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
➢ Escribir la proposición compuesta del lenguaje simbólico en un lenguaje natural.
El estudio constante es clave para el éxito académico entonces La disciplina en el estudio
refuerza el aprendizaje y El apoyo familiar motiva el esfuerzo del estudiante.
➢ 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 ᴧ r) p→ (p ᴧ r)
1 V V V V V
2 V V F F F
3 V F V F F
4 V F F F F
5 F V V V V
6 F V F F V
7 F F V F V
8 F F F F V
➢ 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 – Guía para el desarrollo de la tarea 1
(ejercicios ejemplo), ubicado en el entorno de aprendizaje en la carpeta Guía de

5
actividades y rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez
de argumentos.
Link vídeo explicativo ejercicio 1:
Ejercicio 2: Aplicación de la lógica fundamental
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
A. Si “me alimento saludablemente” o “hago ejercicio con regularidad”, entonces “tendré
mejor calidad de vida”. “No me alimento saludablemente”. Por lo tanto, “no hago ejercicio
con regularidad” o “no tendré mejor calidad de vida”.
A partir del argumento deberá dar respuesta a los siguientes ítems:
➢ Definir cuáles son las proposiciones simples que intervienen en el argumento.
1. p: "Me alimento saludablemente"
2. q: "Hago ejercicio con regularidad"

6
3. r: "Tendré mejor calidad de vida"
➢ Identificar los conectores que intervienen en el argumento.
1. Si p o q, entonces r.
2. No p.
3. Por lo tanto, no q o no r.
➢ Construir el lenguaje simbólico correspondiente al argumento.
1. (p ∨ q) → r
2. ¬p
3. Por lo tanto, ¬p ∨ ¬r
➢ Determinar si el argumento es una tautología, contradicción o contingencia a través del
simulador de tablas de verdad de la UNAD. (Ver Anexo 2 – Guía para el desarrollo de la
tarea 1 (ejercicios ejemplo)
1.
7
2.
3.
 Respuesta: el argumento anterior es una contingencia
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá
identificar e indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para
la demostración del argumento.
A. Expresión simbólica
[(~𝑝 → 𝑞) ∧ ~𝑞] → 𝑝
P1: ~𝑝 → 𝑞
P2: [(~𝑝 → 𝑞) ∧ ~𝑞
Conclusión: p
Ley utilizada: Modus Tollens, Ley de conjunción.

8
A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
➢ Deducir las premisas (P1, P2) y la conclusión.
➢ Defina la ley de inferencia que representa el lenguaje simbólico dado.
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. Expresión simbólica: [(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓) ∧ (𝒒 → 𝒓)] → 𝒓
DEMOSTRACIÓN
P1: 𝑝 → q
P2: 𝑝 ∧ r PREMISAS DADAS
P3: 𝑞 → r
PREMISAS LEY APLICADA PREMISAS USADAS
P4: 𝑝 → 𝑟 SILOGISMO HIPOTETICO (SH)
P5: 𝑝 LEY DE CONJUNCIÓN P2

P6: 𝑟 SILOGISMO HIPOTÉTICO (SH) P4, P5
A partir de la expresión simbólica seleccionada, el estudiante deberá:
➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada
en un contexto académico o social. Las proposiciones simples deben contener 1. Sujeto, 2. Verbo
y 3. Predicado.
9
P: Juan es un estudiante del

programa de psicología en la
UNAD
q: trabaja los cursos virtuales en
la biblioteca.
r: la UNAD forma a los
estudiantes en un contexto
autónomo.
~r: la UNAD no forma a los
autónomo
P: Cristian es un estudiante del programa de psicología en la UNAD
q: trabaja los cursos virtuales en la biblioteca.
r: la UNAD forma a los estudiantes en un contexto autónomo.

10
➢ 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 (Rubrica).
Si, Juan es un estudiante del

programa de economía en la
UNAD entonces, trabaja
los cursos virtuales en la
biblioteca. Juan es un estudiante
del programa de
psicología en la UNAD o la
UNAD no forma a los
11
autónomo y la UNAD forma a

los estudiantes en un contexto
autónomo, entonces,
trabaja los cursos virtuales en la
biblioteca y la UNAD forma a
los estudiantes en un
contexto autónomo.
Cristian es un estudiante del programa de economía en la UNAD entonces, trabaja los cursos
virtuales en la biblioteca. y Cristian es un estudiante del programa de psicología en la UNAD y la
UNAD forma a los estudiantes en un contexto autónomo. y trabaja los cursos virtuales en la
biblioteca entonces la UNAD forma a los estudiantes en un contexto autónomo. Entonces la
UNAD forma a los estudiantes en un contexto autónomo.
➢ Complete la tabla de demostración de la validez del argumento mediante leyes de inferencia
lógica. (Un argumento será válido cuando su valor de verdad es una tautología)
8
7
6
5
4
3
2
1
F
F
F
F
V
V
V
V
p
F
F
F
F
V
V
V
V
q
F
F
F
F
V
V
V
V
r
F
F
V
V
V
V
V
V
F
F
F
F
F
F
F
V
(𝒑 → 𝒒)
F
F
V
V
V
V
V
V
(𝒑 ∧ 𝒓)
F
F
F
F
F
F
F
V
(𝒒 → 𝒓)]
F
F
F
F
F
F
F
V
(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓)
V
V
V
V
V
V
V
V
[(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓) ∧ (𝒒 → 𝒓)]
: [(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓) ∧ (𝒒 → 𝒓)] → 𝒓
12
13
P: Juan es un estudiante del

programa de psicología en la
UNAD
q: trabaja los cursos virtuales en
la biblioteca.
r: la UNAD forma a los
autónomo.
~r: la UNAD no forma a los
autónomo
Conclusiones
Con los métodos utilizados en este trabajo se pudo evidenciar que hay argumentos que
simplemente con el hecho de leerlos no nos dan la repuesta a las cuestiones o dudas que nos
14
hacemos, el pensamiento lógico matemático desarrolla la capacidad de razonar con problemas
como los que enfrentamos en el día a día.
Las leyes de inferencia lógica, asumen situaciones obvias que ayudan al entendimiento de
una conclusión lógica,
Referencias Bibliográficas
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El
Cid Editor. (pp. 40-49). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59

Tarea1 PensamientoLogico

Cargado por

Copyright:

Formatos disponibles

Tarea1 PensamientoLogico

Cargado por

Información del documento

Descripción original:

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

Tarea1 PensamientoLogico

Cargado por

Copyright:

Formatos disponibles

1

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

Aldair David Hernández Angulo

Pensamiento Lógico y Matemático 200611

Grupo xx (Ejemplo grupo)

Lupita Fernandez (Ejemplo nombre del tutor)

Universidad Nacional Abierta y a Distancia - UNAD

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

proposicional, donde se elaboran el paso a paso de la validación de proposiciones, tablas de

verdad y la aplicación de las leyes de inferencia, usando el razonamiento lógico, relacionando

situaciones de la vida cotidiana.

El pensamiento lógico matemático, fomenta el desarrollo de pensamiento abstracto para la

resolución en situaciones de la vida real.

Identificar los métodos para probación de argumentos.

 Conocer las tablas de verdad, sus aplicaciones, su representación gráfica y sus

 Identificara los operadores lógicos en los argumentos dados.

 Conocer las leyes de inferencia lógica, sus reglas y limitaciones.

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el desarrollo

A. p: El estudio constante es clave para el éxito académico.

q: La disciplina en el estudio refuerza el aprendizaje.

r: El apoyo familiar motiva el esfuerzo del estudiante.

➢ Escribir la proposición compuesta del lenguaje simbólico en un lenguaje natural.

El estudio constante es clave para el éxito académico entonces La disciplina en el estudio

refuerza el aprendizaje y El apoyo familiar motiva el esfuerzo del estudiante.

si el resultado es una tautología, contingencia o contradicción.

(ejercicios ejemplo), 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

Link vídeo explicativo ejercicio 1:

Ejercicio 2: Aplicación de la lógica fundamental

Descripción del ejercicio:

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

A. Si “me alimento saludablemente” o “hago ejercicio con regularidad”, entonces “tendré

con regularidad” o “no tendré mejor calidad de vida”.

A partir del argumento deberá dar respuesta a los siguientes ítems:

➢ Definir cuáles son las proposiciones simples que intervienen en el argumento.

1. p: "Me alimento saludablemente"

2. q: "Hago ejercicio con regularidad"

3. r: "Tendré mejor calidad de vida"

➢ Identificar los conectores que intervienen en el argumento.

➢ Construir el lenguaje simbólico correspondiente al argumento.

➢ Determinar si el argumento es una tautología, contradicción o contingencia a través del

simulador de tablas de verdad de la UNAD. (Ver Anexo 2 – Guía para el desarrollo de la

tarea 1 (ejercicios ejemplo)

 Respuesta: el argumento anterior es una contingencia

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Descripción del ejercicio:

A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá

la demostración del argumento.

Ley utilizada: Modus Tollens, Ley de conjunción.

➢ Deducir las premisas (P1, P2) y la conclusión.

➢ Defina la ley de inferencia que representa el lenguaje simbólico dado.

Ejercicio 4: Problemas de aplicación.

Descripción del ejercicio:

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. Expresión simbólica: [(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓) ∧ (𝒒 → 𝒓)] → 𝒓