Pensamiento Lógico Matemático

Tarea 1 Métodos para probar la validez de argumentos

DIEGO FERNANDO ALVAREZ Cód. 93207057

Grupo No 200611_128

Marcela Andrea Lozano Zambrano

Tutora

Universidad Nacional Abierta y a Distancia

UNAD
2020
Letra Seleccionada C.
Ejercicio 1: Proposiciones y tablas de verdad

Vamos a ver tres premisas

p: El mute Santandereano es un plato típico de la Región Andina.

q: El sancocho costeño es un plato típico de la Región Orinoquia.

r: La ternera a la llanera es un plato típico de la Región Caribe.

Lenguaje simbólico

(𝑝 ∨ ¬𝑞) ↔ (𝑞 ∧ ¬𝑟)

Lenguaje Natural

El mute Santandereano es un plato típico de la Región Andina y el sancocho

costeño no es un plato típico de la Región Orinoquia si y solo si el sancocho

costeño es un plato típico de la Región Orinoquia o la ternera a la llanera no es un

plato típico de la Región Caribe

Tabla de verdad manual

p q r ¬𝑞 ¬𝑟 𝑝 ∨ ¬𝑞 𝑞 ∧ ¬𝑟 (𝑝 ∨ ¬𝑞) ↔ (𝑞 ∧
¬𝑟)
v v V F F V F F
v v F F V V V V
v f V V F V F F
v f F V V V F F
f v V F F F F V
f v F F V F V F
f f V V F V F F
f f F V V V F F
 Se clasifica como contingencia

Tabla de verdad simulador

Utilizando el Simulador de la UNAD, simulador (software) para la construcción de

tablas de verdad para proposiciones compuestas y el uso del álgebra proposicional.

El simulador Lógica UNAD es una herramienta de apoyo al desarrollo de las tablas de

verdad, el cual se encuentra disponible durante todo el periodo académico para que los

estudiantes puedan acceder a él en cualquier momento. En la guía y rubrica de evaluación

de la tarea 1, se menciona el uso de este simulador. A continuación, se entrega el link de

acceso a un video tutorial de cómo usar el simulador Lógica UNAD:

https://youtu.be/Ea_ywnuK1t0

Link Video https://youtu.be/c_m1X0xEUjA

2. Ejercicio 2: Identificación de las reglas de la inferencia lógica

C. Expresión simbólica

P
q
_____
p∧ q

1. Ley de inferencia: Conjunción o adjunción

 P = Premisa 1 = Juan Estudia en la UNAD
q = Premisa 2 = Juan es un buen estudiante
p∧ q Juna estudia en la UNAD ó Juan es un buen estudiante.

Silogismo hipotético
p: Juan es estudiante de la UNAD
q: Juan es un buen estudiante.
r: Juan viaja a Bogotá
s: No Paga el viaje

Si Juan es estudiante de la UNAD y es buen estudiante, Juan viaja a Bogotá, Si

juan es buen estudiante no paga el viaje, Juan viaja a Bogotá y no paga el viaje.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

C. Si ganamos el partido entonces, jugaremos en la final. Ganamos el partido.

a. Conclusión: Ganamos el Partido

b. Ley de inferencia aplicada: Modus Ponens (MP)

c. Lenguaje simbólico:

p: Voy a la Universidad

q: Jugamos la Final

r= Ganamos el partido

p→q
r
r
Ejercicio 4: Problemas de aplicación

Expresión simbólica:

 Proposiciones simples:

p: Gustavo es estudiante de la UNAD

q: Gustavo es malo para matemáticas

r= Estudiante de música

{[𝑝 → (𝑞 → 𝑟)] ∧ 𝑝 ∧ ¬𝑟} → ¬𝑞

P1: 𝑝 → (𝑞 → 𝑟)

P2: 𝑝

P3: ¬𝑟

Conclusión: ¬q

Si Gustavo es estudiante de la UNAD, entonces Gustavo es

malo para la matemáticas, entonces es estudiante de música ó
Gustavo es estudiante de la UNAD o no es estudiante de
música, entonces gustavo no es malo para la matemática

Premisas:
P1: p →(q → r)
Si Gustavo es estudiante de la UNAD, entonces es malo para
matemáticas, entonces es estudiante de música
 P2: 𝑝
Si Gustavo es malo para matemáticas
P3: ¬𝑟
No es Estudiante de música

Tabla de verdad

p q r {[𝑝 → (𝑞 → 𝑟)] ∧ 𝑝 ∧ ¬𝑟} → ¬𝑞

v v V V
v v F V
v f V V
v f F V
f v V V
f v F F
f f V V
f f F V
 CONCLUSIONES

Las leyes de inferencia lógica son usadas como método alternativo y corto a las

tablas de verdad.

Las tablas de verdad son un excelente método para determinar la validez de un

argumento compuesto.
 Bibliografía

https://es.scribd.com/doc/97167362/Algebra-de-Proposiciones

https://matematicapositiva.wordpress.com/2015/09/21/algebra-de-proposiciones/

https://matematicapositiva.wordpress.com/2015/09/21/algebra-de-proposiciones/

http://osl2.uca.es/wikira/index.php/L%C3%B3gica_proposicional

http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706da8049

f2/138/1/contenido/contenido/capitulo_01.html

https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional

https://www.gestiopolis.com/que-es-logica-proposicional/

https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

https://es.slideshare.net/luisxico/argumentos-lgicos