Está en la página 1de 9

1

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

México, D.F, Larousse - Grupo Editorial Patria.

También podría gustarte