1

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

Heidy Lucero Boada Olivares

Pensamiento Lógico y Matemático 200611A_1394

Grupo 200611_28

Director-Tutor

Jesús David Berrio Valbuena

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

El siguiente trabajo costa de realizar cuatro ejercicios cada uno centrado en los métodos de

validez de argumentos según la lectura elegida. En el primer ejercicio se desarrollan preposiciones

y tablas de verdad, incluyendo un vídeo explicativo, en el dos se aplica la lógica fundamental para

desarrollar cada punto, en el tres se realiza una demostración de argumentos usando las reglas de

inferencia lógica y en el cuarto ejercicio se hace aplicación de lo aprendido anteriormente para

desarrollar cada ítem planteado, además de se hizo uso de un simulador lógica UNAD para hacer

comparaciones entre las tablas de verdad.

 3

Objetivos

General

Identificar cada uno de los métodos aplicados para probar la validez de un argumento.

Específicos

Determinar cuáles son los metales para probar la validez de un argumento.

Analizar cada preposición simple a través de las tablas de verdad para lograr probar la

validez de los argumentos.

 4

Ejercicio 1: Proposiciones y tablas de verdad

B.
p: Se aplica el trabajo inteligente para obtener una mayor eficiencia.
r: Se logra mayor productividad en los resultados.
s: Se alcanza el éxito rápidamente.
(𝑝 → r) Ʌ s

 Lenguaje natural.
Si se aplica el trabajo inteligente para obtener una mayor eficiencia, entonces se logra
mayor productividad en los resultados y se alcanza el éxito rápidamente.
 Tabla de verdad manual.

p r s (p → r) (p → r) Λ s
v v v v v
v v f v f
v f v f f
v f f f f
f v v v v
f v f v f
f f v v v
f f f v f

Es una contingencia porque en el resultado final tenemos valores de verdad y falsedad.

 5

 Tabla de verdad a través del simulador Lógica UNAD.

Link vídeo explicativo ejercicio 1:

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

B.
‘Los estudiantes hacen sus tareas' y 'los profesores explican claramente', entonces 'los estudiantes
obtendrán buenas calificaciones'. Si y solo si, 'los estudiantes hacen sus tareas' o 'los profesores no
explican claramente', entonces 'los estudiantes obtendrán buenas calificaciones'.
 Definir cuáles son las proposiciones simples que intervienen en el argumento.

p: Los estudiantes hacen sus tareas.

q: los profesores explican claramente.

r: los estudiantes obtendrán buenas calificaciones.

➢ Identificar los conectores que intervienen en el argumento.

 6

( ∧ ) conjunción
( → ) condicional
( ↔ ) bicondicional
( ꓦ ) disyuncion
( ) negacion

➢ Construir el lenguaje simbólico correspondiente al argumento.

[( pɅq)→ r ]↔[( p ꓦ q) → 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.
El argumento es una contingencia.
 7

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.
B.
Expresión simbólica
[( p → q) ᴧ (q → ∼r )]→( p → ∼r )

P1: p→q
P2: p→ r
Conclusión: p→ r
Ley utilizada: Modus ponendo ponens (MPP)

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
 Deducir las premisas (P1, P2, P…) y la conclusión.

[( p → q) ᴧ (q → r ) ᴧ ( p → r )]→( r)
 8

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

P1: p→q
P2: p→ r
P3: p→ r
Conclusión: r
Ley utilizada: Modus tollendo ponens
 9

Ejercicio 4: Problemas de aplicación.

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

 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

descripción basada en un contexto académico o social.

P: Heidy duerme antes de leer cada rúbrica.

q: Heidy estudia mucho para obtener un excelente puntaje en la UNAD.
r: Heidy obtiene la nota máxima en cada uno de los cursos.

 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 Heidy duerme antes de leer cada rúbrica, entonces Heidy estudia mucho para obtener un
excelente puntaje en la UNAD. Heidy estudia mucho para obtener un excelente puntaje en la
UNAD y Heidy no obtiene la nota máxima en cada uno de los cursos. Heidy obtiene la nota
máxima en cada uno de los cursos, o Heidy no estudia mucho para obtener un excelente puntaje
en la UNAD. Heidy no obtiene la nota máxima en cada uno de los cursos. Heidy no estudia
mucho para obtener un excelente puntaje en la UNAD. Heidy no duerme antes de leer cada
rúbrica. Por lo tanto, Heidy no duerme antes de leer cada rúbrica, y Heidy no obtiene la nota
máxima en cada uno de los cursos.
 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)
Demostración
P1: (p → q)
P2: (q ᴧ ~r) Premisas dadas
P3: (r ∨ ~q)
Premisas Ley aplicada Premisas usadas
P4: ~r LEY DE SIMPLIFICACIÓN P2
P5: ~q MODUS TOLLENDO PONNENS P3, P4
(MTP)
P6: ~p MODUS TOLLENDO TOLLENS P1, P5
P7: (~p ᴧ ~r) LEY DE ADJUNCIÓN (LA) P6, P4
 10

Conclusiones

En resumen, conocer la importancia de las preposiciones simples, el lenguaje simbólico, el

natural y los métodos para probar la validez de un argumento nos lleva a aumentar nuestro

conocimiento ha cerca del tema. También nos impulsa a aplicar la lógica cuando sea necesario

para resolver los problemas, además se resalta lo útil que es realizar tablas de verdad para probar

la validez de los argumentos.

 11

Referencias Bibliográficas

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 18-36).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=19

Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio

institucional UNAD. https://repository.unad.edu.co/handle/10596/52744

Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje

OVA]. Repositorio Institucional UNAD. https://repository.unad.edu.co/handle/10596/31590