1

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

Rudy Joheny Plazas – Código 200611E_1394

Pensamiento Lógico y Matemático 200611

Grupo 200611_2889

Director-Tutor

Elizabeth Puentes Monta

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

En este trabajo se identificará la evolución de las preposiciones, desde las simples hasta el punto

donde se puede crearlas basadas en la expresión simbólica, la cual nos permite definir las

preposiciones con un orden de redacción, con el fin de crear un lenguaje natural a base de los

diferentes conectores. Existen unas leyes de inferencia lógica que nos permite clasificarlas y así

mismo, diseñar la tabla de demostración y comparar en el simulador lógica UNAD

 3

Objetivos

General

• Comprender y entender como funcional las preposiciones y difencias.

Específicos

• Aprender a analizar el diferente tipo de preposiciones.

• Crear la tabla Manuel para identificar los valores verdaderos y falsos, con el fin de

obtener el mismo resultado en el simulador de lógica e identificar el tipo de tabla.

• Identificar las reglas de la inferencia lógica, en los diferentes tipos de

proposiciones.

• Analizar el detalle de crear, estructurar y utilizas las reglas de la inferencia lógica.

 4

Ejercicio 1: Proposiciones y tablas de verdad B

Espacio para solución del ejercicio 1

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

Respuesta:

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

(𝑝 → r) Ʌ
p r s (𝑝 → 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
La tabla es una contingencia
 5

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

Espacio para solución 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'."

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

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

Los conectores del argumento son: conjunción (∧), condicional (→), bicondicional (↔),

disyunción inclusiva (v) y negación (~)

 6

➢ Construir el lenguaje simbólico correspondiente al argumento.

((p ∧ q) → r) ↔ p v (~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.

(p ∧ q) → ((p ∧ q) → ((p ∧ q) → r) ((p ∧ q) → r)

p q r (p ∧ q) r r)) ↔ p ~q ↔ p v (~q) ↔ p v (~q) → r
V V V V V V F V V
V V F V F F F F V
V F V F V V V V V
V F F F V V V V F
F V V F V F F F V
F V F F V F F F V
F F V F V F V V V
F F F F V F V V F
La tabla es una contingencia

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

Espacio para solución del ejercicio 3

B. Expresión simbólica

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

 7

P1: (p → q)
P2: (q → ∼r)
Conclusión: (p → ∼r)
Ley Silogismo hipotético
utilizada: (SH)

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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

Definición de Proposiciones simples:

P: Juan estudia para el examen de matemáticas

Q: Se ira a pasar vacaciones a Italia

R: Juan tendrá notas altas su colegio

Lenguaje natural

SI Juan estudia para el examen de matemáticas ENTONCES Se ira a pasar vacaciones a Italia. Se

ira a pasar vacaciones a Italia Y Juan no tendrá notas altas su colegio. Juan tendrá notas altas su

colegio O NO se ira a pasar vacaciones a Italia. POR LO TANTO, Juan estudia para el examen de

matemáticas Y Juan NO tendrá notas altas su colegio.

 8

Demostración
P1: (p → q)
P2: (q ᴧ ~r) Premisas dadas
P3: (r ∨ ~q)

Premisas Ley aplicada Premisas usadas

P4: ~r Simplificación (S) P2
MODUS TOLLENDO
P5: ~q PONNENS (MTP) P3 P4
P6: ~p Modus Tollendo Tollens (TT) P1,P5
P7: (~p ᴧ ~r) LEY DE ADJUNCIÓN (LA) P4 P5
 9

Conclusiones

Ahora que hemos visto el desarrollo de esta actividad inicialmente el tema fue un poco

complejo entenderlo, pero finalmente con leer, el material, visualizar algunos videos y analizar al

detalle cada ítem se logró comprender el tema, y así mismo poder desarrollarlo con el fin de lograr

cumplir el principal objetivo que fue comprender y ejecutar cada tarea.

 10

Referencias Bibliográficas

https://logicaunad.com/jtruth/

https://campus109.unad.edu.co/ecbti125/mod/page/view.php?id=1979

https://www.youtube.com/watch?v=Q10GPMLgbwY&list=PL2ZiOE6scBHaHNw1D9C-

RKBXoDIGXqija