Unidad 1 - Tarea 1 - Métodos para probar la validez de argumentos
Juan Sebastian Gamba Jacomussi
Universidad Nacional Abierta Y A Distancia (UNAD)
Escuela de Ciencias Básicas, Tecnología e Ingeniería (ECBTI)
Pensamiento lógico y matemático
200611_29
Jose Ramon Jinete
Enero 2021 2
Introducción
El razonamiento lógico se presenta en la matemática con la finalidad de dar solución a
cualquier tipo de situación problemática. La forma en que los seres humanos planteamos estas
situaciones en nuestro diario vivir es a través de la comunicación la cual hace uso de un lenguaje
que nos permite hacer cualquier tipo de declaraciones ya sean interrogativas, imperativas o
declarativas.
“Las frases declarativas simples (Proposiciones o enunciados) son los elementos básicos de
transmisión del conocimiento humano.” (Cardona, T. S. A., 2010, En Lógica matemática para
ingeniería de sistemas y computación, p.9). Y es la lógica quien nos brinda los métodos, reglas y
técnicas para determinar si un argumento es válido o no.
A continuación en este trabajo desarrollaremos algunos ejercicios que nos mostraran los
métodos para probar la validez de argumentos.
Objetivos
Aprendera a identificar problemas que impliquen la logica matematica.
Desarrollar la capacidad de identificar y especificar formulas proposicionales.
Familiarizarse con conceptos de análisis de razonamiento.
Conocer el lenguaje de la logica proposicional.
Conocer los metodos de comprobación de validez de un argumento.
3
Desarrollo de ejercicios
Letra B
Ejercicio 1
Proposiciones simples.
p: Leonel Messi es uno de los deportistas más valioso de la Liga española
q: Leonel Messi es uno de los jugadores con más goles anotados en la liga española
r: Leonel Messi es el mejor jugador de la selección argentina.
Lenguaje simbólico.
[(𝒑 ∧ 𝒒) ∧ (∼ 𝒑 ∨∼ 𝒒)] ∧ 𝒓
Lenguaje Natural.
Leonel Messi es uno de los deportistas más valioso de la Liga española y es uno de los
jugadores con más goles anotados en la liga española. Y Leonel Messi no es uno de los deportistas
más valioso de la Liga española o no es uno de los jugadores con más goles anotados en la liga
española. Y Leonel Messi es el mejor jugador de la selección argentina.
Tabla de verdad
𝒑 𝒒 𝒓 ∼𝒑 ∼𝒒 𝒑∧𝒒 ∼ 𝒑 ∨∼ 𝒒 V V V F F V F V V F F F V F V F V F V F V V F F F V F V F V V V F F V F V F V F F V F F V V V F V F F F V V F V 4
[(𝒑 ∧ 𝒒) ∧ (∼ 𝒑 ∨∼ 𝒒) [(𝒑 ∧ 𝒒) ∧ (∼ 𝒑 ∨∼ 𝒒)] ∧ 𝒓
F F F F F F F F F F F F F F F F F F
Se clasifica como contradicción.
Tabla de verdad (UNAD)
Link de Youtube: https://youtu.be/Oz8x1w1g7SY
Ejercicios 2
Proposiciones simples.
p: La UNAD es una de las universidades mas grandes del pais
q: La UNAD es una universidad de facil acceso para todo Colombia
r: Sebastian puede estudiar facilmente un pregrado en la UNAD
5
s: Sebastian puede estudiar en cualquier universidad
𝑟∨𝑠
𝑟→𝑠
𝑞→𝑠
Ley de inferencia de la expresión: Simplificación Disyuntiva (SD)
Lenguaje natural:
Sebastian puede estudiar facilmente un pregrado en la UNAD o Sebastian puede estudiar en
cualquier universidad. Si Sebastian puede estudiar facilmente un pregrado en la UNAD entonces
Sebastian puede estudiar en cualquier universidad. Si La UNAD es una universidad de facil
acceso para todo Colombia entonces Sebastian puede estudiar en cualquier universidad. En
conclusion, Sebastian puede estudiar en cualquier universidad.
𝑝→𝑞
𝑞→𝑟
𝑝→𝑟
Ley de inferencia de la expresión: Silogismo Hipotetico (SH)
Lenguaje natural: 6
Si la UNAD es una de las universidades mas grandes del pais entonces la UNAD es una
universidad de facil acceso para todo Colombia. Si la UNAD es una universidad de facil acceso
para todo el mundo entonces Sebastian puede estudiar facilmente un pregrado en la UNAD. En
conclusión, si la UNAD es una de las universidades mas grandes del paisentonces Sebastian
puede estudiar facilmente un programa de pregrado en la UNAD.
𝑝∧𝑞
Ley de inferencia de la expresión: Simplificación (SIM)
Lenguaje natural:
La UNAD es una de las universidades mas grandes del pais y de facil acceso para todo
Colombia. En conclusión, La UNAD es una de las universidades mas grandes del pais.
Ejercicio 3
Corro 10 kilómetros diariamente o voy a nadar cuatro veces por semana. Si corro 10
kilómetros diariamente entonces mi cuerpo mejora su capacidad pulmonar. Si voy a nadar cuatro
veces por semana entonces mi cuerpo mejora su capacidad pulmonar.
a. Conclusión:
Mi cuerpo mejora su capacidad pulmonar.
b. Ley de inferencia aplicada:
7
Simplificación Disyuntiva (SD)
c. Lenguaje simbólico:
pVq
p→r
q→r
Ejercicio 4
Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (¬ 𝑟) ∧ (𝑞 → 𝑟)] → (𝑝 ∧ ¬ 𝑟)
P1:𝑝 ∨ 𝑞
P2: ¬ 𝑟
P3: 𝑞 → 𝑟
Conclusión: 𝑝 ∧ ¬ 𝑟
Proposiciones simples:
P: Sebastian aprobo todos los cursos del primer semestre
q: Sebastian se matriculo a estudiar en el primer semestre r: El curso de pensamiento logico matematico es facil de aprobar.
Lenguaje natural:
Si, Sebastian aprobo todos los cursos del primer semestre o Sebastian se matriculo a estudiar en el primer semestre. Y, El curso de pensamiento logico matematico no es facil de aprobar. Y, si Sebastian se matriculo a estudiar en el primer semestre entonces El curso de pensamiento logico matematico es facil de aprobar. Entonces, Sebastian aprobo todos los cursos del primer semestre y El curso de pensamiento logico matematico no es facil de aprobar. 8
Tabla de verdad
P Q R ¬𝑟 𝑝∨𝑞 𝑞→ 𝑟 𝑝∧¬ (𝑝 ∨ [(𝑝 ∨ [(𝑝 ∨
𝑟 𝑞) ∧ 𝑞) ∧ 𝑞) ∧ (¬ 𝑟) (¬ 𝑟) (¬ 𝑟) ∧ (𝑞 ∧ (𝑞 → 𝑟)] → 𝑟)] → (𝑝 ∧ ¬ 𝑟) V V V F V V F F F V V V F V V F V V F V V F V F V V F F F V V F F V V V V V V V F V V F V V F F F V F V F V V F F V F V F F V F F V F F F V F F F V F V F F F V
Tabla de verdad (UNAD)
Demostración de la validez del argumento mediante las Leyes de Inferencia:
P1: 𝑝 ∨ 𝑞 disyunción
P2: ¬ 𝑟 negación
P3: 𝑞 → 𝑟 condicional 9
Conclusión: 𝑝 ∧ ¬ 𝑟
P4: q Modus Tollendo Ponens (MTP) P3,P2
P5: p Modus Tollendo Ponens (MTP) P1,P4
P6: 𝑝 ∧ ¬ 𝑟 Conjunción P5,P2
Conclusión
La logica es la ciencia adecuada que los estudiantes puedan establecer relaciones entre diferentes
proposiciones, lo que permite crear nuevos métodos para la resolución de problemas en
diferentes campos como las matemáticas, la física, la química y las ciencias sociales. Cualquier
problema de la vida real. Porque cada vez que nos encontramos con un problema, manipulamos
la información mediante reglas de inferencia, incluso si estas reglas no están escritas, debemos
seguirlas. Cada vez que realizamos una actividad usamos la lógica para ejecutarla, quizás
algunas personas ejecutan la actividad con un camino más corto, mientras que otras la ejecutan
con un camino más largo, pero al final lo importante es lograr el resultado. Si a los estudiantes se
les da la confianza para crear e innovar, su estructura cognitiva está destinada a crecer.
Referencias bibliográficas
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 9-29). Ediciones Elizcom, Madrid.
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).
