1

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

Gabriela– Código ………. (Ejemplo nombre del estudiante)

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

De acuerdo al siguiente trabajo se explicarán temas sobre la validez de argumentos a través de la

tabla de la verdad y leyes de inferencia con el objetivo de saber aplicar las leyes de inferencia

sobre las premisas para poder obtener una conclusión el cual el resultado final puede ser falso o

verdadero y como se clasificaría si es tautología, contradicción o contingencia.Objetivos

 3

Objetivos
 4

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

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

el desarrollo del ejercicio 1:

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

Escribir la proposición compuesta del leguaje simbólico en un 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

 5

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.

Contingencia

P r s (𝑝 → r) (𝑝 → 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
 6

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
 7

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

Espacio para solución del ejercicio 2

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

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.

Conjunción (Ʌ)

Condicional (→)

Bicondicional ()

Disyunción inclusiva (v)

Construir el lenguaje simbólico correspondiente al argumento.

((p Ʌ q) → (r  p)) v (q → r)

 8

Determinar si el argumento es una tautología, contradicción o contingencia a

través del simulador de tablas de verdad de la UNAD.

Tautología
 9

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

Espacio para solución del ejercicio 3

Descripción del ejercicio:

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 q → ∼r

conclusión p →∼r

Ley utilizada Silogismo hipotético

 10

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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:

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. Las proposiciones simples
deben contener 1.

P: Gabriela estudia seguridad y salud en el trabajo en la UNAD

q: Gabriela asiste puntualmente a las practicas

r: Gabriela va ser una gran profesional

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 Gabriela estudia seguridad y salud en el trabajo en la UNAD entonces Gabriela

asiste puntualmente a las prácticas y Gabriela asiste puntualmente a las
prácticas y Gabriela no va ser una gran profesional y Gabriela va hacer una gran
profesional o Gabriela no asiste puntualmente a las practicas entonces Gabriela
no estudia seguridad y salud en el trabajo y Gabriela va hacer una gran
profesional.
 11

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)

Conclusiones
 12

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