629 - Tarea - 1 - Maria Paez

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

629 - Tarea - 1 - Maria Paez

Cargado por

Copyright:

Formatos disponibles

629 - Tarea - 1 - Maria Paez

Cargado por

Información del documento

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

629 - Tarea - 1 - Maria Paez

Cargado por

Copyright:

Formatos disponibles

1

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

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

Universidad Nacional Abierta y a Distancia - UNAD

En el presente trabajo se llevó acabo el desarrollo de proposiciones, tablas de verdad y con

Aprender e identificar las premisas y sus leyes.

Analizar proposiciones tanto compuestas como simples.

Ejercicio 1: Proposiciones y tablas de verdad

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

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

Link del video:

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

Proposiciones simples que intervienen en el argumento:

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

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

Ejercicio 4: Problemas de aplicación.

Definir las proposiciones simples

p: Pedro le gustan las matemáticas

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

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

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

También podría gustarte