Unidad 1 – Tarea 2 Métodos para probar la validez de argumentos
Alicia stefany Sáenz pastrana – Código - 1234567
Pensamiento Lógico y Matemático 200611
Grupo 200611-3828
Director-Tutor
Diego Fernando Páez medina
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2024
Introducción
En este trabajo, se exploran algunos conceptos básicos de la lógica, como las
proposiciones y las tablas de verdad. A través de diferentes ejercicios, se busca entender
cómo funciona la lógica y cómo se puede aplicar para resolver problemas. El primer
ejercicio se enfoca en las proposiciones y el uso de tablas de verdad para analizar si son
verdaderas o falsas. El segundo ejercicio nos lleva a ver cómo la lógica se usa en
situaciones más prácticas, mientras que el último se dedica a resolver problemas usando
la lógica como herramienta principal. La idea es mostrar cómo estas nociones pueden
ser útiles tanto en el ámbito académico como en la vida diaria.
Objetivos
General
Entender y aplicar los conceptos fundamentales de la lógica proposicional para
analizar enunciados y resolver problemas
Específicos
Identificar y evaluar proposiciones utilizando tablas de verdad.
Aplicar los principios de la lógica en ejemplos concretos y situaciones prácticas.
Desarrollar habilidades de resolución de problemas mediante el uso de la lógica
proposicional.
Ejercicio 1: Proposiciones y tablas de verdad
Espacio para solución del ejercicio 1
Ejercicio D
r: El agua es más denso que el hierro.
s: El hierro es un mineral que se encuentra en cada célula del cuerpo.
t: El cuerpo humano necesita hierro para producir las proteínas hemoglobina.
t → (s ∧ ∼r)
Escribir la proposición compuesta del leguaje simbólico en un
lenguaje natural. Solución:
El cuerpo humano necesita hierro para producir las proteínas,
hemoglobinas, entonces el hierro es un mineral que se encuentra en
cada célula del cuerpo humano y el agua no es mas denso que el hierro.
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.
Solución:
t S r ∼r (s ∧ ∼r) t → (s ∧ ∼r)
v V V F F F
V V F V V v
V F V F F f
V F F V F f
F V V F F v
F V F V V v
F F V F F v
F F F V F v
Esta tabla de la verdad es una contingencia.
Generar la tabla de verdad a través del simulador tablas de verdad.
Link vídeo explicativo ejercicio 1:
Ejercicio 2: Aplicación de la lógica fundamental
Espacio para solución del ejercicio 2
D. Si La ingeniería es el uso de principios científicos, entonces, la ingeniería aprovecha
el cúmulo de conocimientos tecnológicos para la innovación y no es cierto que los
ingenieros no se apoyan en las ciencias básicas.
Solución:
Definir cuáles son las proposiciones simples que intervienen en el argumento.
Solución:
P: si la ingeniería es el uso de los principios científicas
q: la ingeniería aprovecha en cumulo de conocimientos r: los ingenieros se apoyan en
las ciencias básicas.
Identificar los conectores que intervienen en el argumento. Solución:
condicional → conjunción: ∧ negación: ∼
Construir el lenguaje simbólico correspondiente al argumento Solución:
p→(q∧∼(∼r))
Determinar si el argumento es una tautología, contradicción o contingencia a través del
Simulador de tablas de verdad
Esta tabla de la verdad 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
D. Expresión simbólica
[s] → (s ∨ r) P1: s
Conclusión: (s ∨ r)
Ley utilizada: Ley de Adición
Esta tabla de la verdad es una tautología
Ejercicio 4: Problemas de aplicación.
Espacio para solución del ejercicio 4
D. Expresión simbólica:
[(s → r) ∧ (s ∨ p) ∧ (∼p)] → (r ∨ q)
Premisas dadas:
P1: s → r P2: s ∨ p P3: ∼p
Tabla 5
Demostración por leyes de inferencia.
Ejercicio D
Complete la tabla de demostración de la validez del argumento mediante leyes de
inferencia lógica. Analizar la tabla de la demostración e indicar si las premisas
construidas y las leyes aplicadas son correctas o incorrectas y justificar porque es
correcta o incorrecta.
Solución:
PREMISAS LEY PREMISAS ¿CORRECTO O JUSTIFICAICO
N
APLICADA USADAS ¿INCORRECT
O?
P4: s Mtp P2, p3 correcta En esa ley, al
negar una de las
proposiciones, se
confirma la otra.
P5: r Mpp P6, p6 Incorrecto En esta ley (MPP),
no existe una
disyunción.
P6: r v q adición P1 Incorrecto En la p1 no hay
una proposición
simple, sino que se
trata de una
proposición
compuesta.
A partir de la expresión simbólica seleccionada, el estudiante deberá:
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.
Sujeto, 2. Verbo y 3. Predicado.
Solución:
[(s → r) ∧ (s ∨ p) ∧ (∼p)] → (r ∨ q)
S: El estudiante asiste a clase regularmente R: El estudiante realiza tareas
P: El estudiante estudia para los exámenes Q: El estudiante estudia para los exámenes.
Expresado en lenguaje natural:
Si el estudiante asiste a clase regularmente implica que realiza las tareas, y si asiste a
clase regularmente o estudia para los exámenes, pero no estudia para los exámenes,
entonces el estudiante realiza las tareas o aprueba la materia.
Conclusiones
A lo largo del trabajo, hemos visto que la lógica proposicional es una
herramienta útil para analizar y entender distintos enunciados. Las tablas de verdad nos
permiten verificar si una proposición es válida o no. Además, hemos podido ver cómo
la lógica aplicada a problemas concretos nos ayuda a desarrollar un pensamiento más
ordenado y claro. En general, el trabajo demuestra que entender y usar la lógica no es
solo útil para resolver ejercicios académicos, sino también para enfrentar situaciones
cotidianas con mayor claridad y precisión.
Referencias Bibliográficas
Curo, A. (2015). Matemática básica para administradores. Universidad Peruana
de Ciencias Aplicadas (UPC). (pp. 13-27). [Link]
[Link]/es/ereader/unad/41333?page=10
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de
grafos. El Cid Editor. (pp. 40-49). [Link]
[Link]/es/ereader/unad/36562?page=59
