1

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

María José Páez Contreras – Código 1050603595

Pensamiento Lógico y Matemático 200611
Grupo 629

Director-Tutor
Betty Marcela Ochoa Mancipe

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 llevó acabo el desarrollo de proposiciones, tablas de verdad y con

su correspondiente verificación con el simulador de la UNAD por otro lado encontraran los
conectores que haya en cada proposición de otro color y las leyes de la premisa que fueron
utilizadas en los lenguajes simbólicos.
 3

Objetivos
General

Determinar y comprenderlo que significa una tabla de verdad y como hacer una tabla manual,
aprender un poco sobre las premisas y las proposiciones

Objetivos especifico

Aprender e identificar las premisas y sus leyes.

Analizar proposiciones tanto compuestas como simples.

Analizar dichos anunciados dados en la guía para realizar las correspondientes tablas de verdad.
 4

Ejercicio 1: Proposiciones y tablas de verdad

r: Reducir el uso de plásticos disminuye la contaminación.
s: Reciclar ayuda a conservar el medio ambiente.
t: Cuidar el planeta es responsabilidad de todos.

(r ∨ t) → s

reducir el uso de plásticos disminuye la contaminación” o “cuidar el planeta es

responsabilidad de todos” por ende “reciclar ayuda a conservar el medio ambiente”.

r s t (r ∨ t) (r ∨ t) → s

V V V V V
V V F V V
V F V V F
V F F V F
F V V V V
F V F F V
F F V V F
F F F F V

Según con el resultado de la tabla de valor esta proposición es una CONTIGENCIA

Link del video:

https://screenpal.com/watch/c06welVEHSE
 5

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

“Los estudiantes leyeron el material” o “realizaron la actividad práctica” si y solo si “rindieron

bien en el examen”. “Los estudiantes no leyeron el material”. Por lo tanto, “los estudiantes
realizaron la actividad práctica” y “rindieron bien en el examen”.

Proposiciones simples que intervienen en el argumento:

q: los estudiantes leyeron el material
r: realizaron la actividad práctica
s: rindieron bien el examen

Identificar los conectores que intervienen en el argumento:

O=⋁
Si y solo si=⟷
No=∼
Por lo tanto=→
Y=∧

Construir el lenguaje simbólico correspondiente al argumento.

((q∨ 𝒓 ⟷ 𝒔) ∧∼ 𝒒) → (𝒓 ∧ 𝒔)

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

del simulador de tablas de verdad de la UNAD
 6

Según con el resultado de la tabla de valor esta proposición es una CONTIGENCIA

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

[𝑝 ∧ ∼ 𝑞] → ∼ 𝑞

P1: [𝑝 ∧ ∼ 𝑞]
Conclusión: ∼𝑞
Ley utilizada: Simplificación

Ejercicio 4: Problemas de aplicación.

Expresión simbólica: [(𝑝 ∧ 𝑟) ∧ (𝑟 → 𝑞) ∧ (~𝑝)] → (𝑟 ∧ 𝑞)

Demostración
P1: 𝑝 ∧ 𝑟 Premisas dadas
P2: 𝑟 → 𝑞
P3: ~𝑝
Premisas Ley aplicada Premisas usadas
P4: 𝑟 SIMPLIFICACIÓN P1
P5: 𝑞 MODUS PONENDO P2, P4
PONEN
P6: 𝒓 ∧ 𝒒 ADJUNCIÓN (A) P4, P5

Definir las proposiciones simples

p: Pedro le gustan las matemáticas

r: Pedro le gusta leer y hacer muchos ejercicios
q: Pedro tiene los mejores promedios

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

“Pedro le gustan las matemáticas” y “le gusta leer y hacer ejercicios” y “le gusta leer y
hacer ejercicios”. Y si “Pedro entonces tiene los mejores promedios.” Y “Pedro no le
gustan las matemáticas.” Por lo tanto, “Pedro le gusta leer y hacer muchos ejercicios” y
“pedro tiene los mejores promedios”
 7

Conclusiones

Después de haber realizado este trabajo podemos concluir que las tablas de verdad son
verdaderamente fáciles después de haber entendido el concepto.

En este trabajo nos enseño que cada una de las premisas corresponde a una ley.

Aprendimos a hacer una tabla de verdad manual y podemos verificar si quedo bien
ayudándonos con el simulador que nos ofrece la universidad
 8

Referencias Bibliográficas

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., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje
OVA]. Lógica Proposicional. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/37836

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

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