Pensamiento logico y matematico

Tarea 1 – Metodos para probar la validez de argumentos

Estudiante: David Alfonso Pérez Carbono

Código: 1221981681

Tutor: Paulo Andres Velez

Grupo: 1085

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Sociales, Artes y Humanidades (ECSAH)

Programa de Psicología

CEAD Santa Marta

04 de octubre 2020
 Introduccion.

El presente documento corresponde al desarrollo de la tarea 1 del curso pensamiento lógico y

matemático, En el que las temáticas a tratar son las tablas de la verdad y reglas de inferencia.
En esta actividad se tratará de aplicar e interpretar las situaciones dadas en una
serie deejercicios, que en total son 4 seleccionados previamente en el foro colaborativo los
delliteral B, en el ejercicio 1 se presenta un video explicativo cuyo link se adjuntó al finaldel
mismo ejercicio 1B, se emplea simulador de la unad para generar tablas de la verdadpara los
ejercicios 1 y 4.
 Objetivos.

Objetivo General

Desarrollar la guía de actividades tarea 1

Objetivos específicos

 Resolver los ejercicio del literal B

 Elaborar las tablas manuales para los ejercicios 1 y 4

 Emplear el simulador para los ejercicios 1 y 4

 Tarea 1 – Metodos para probar la validez de argumentos

Ejercicio 1: Proposiciones y tablas de verdad

Ejecicios escogidos (B).

Preposiciones simples:

p: Diego es un deportista de alto rendimiento

q: Diego debe entrenar todos los dias
r: Diego llena una vez por semana su tabla de rendimiento fisicio

 Lenguaje simbolico:
(𝑝 → 𝑞) ∨ (~𝑟)

 Lenguaje natural
Si diego es un deportista de alto rendimiento entonces el debe entrenar todos los dias o diego no
llena una vez por semana su tabala de rendimiento fisico.

 Tabla de la verdad manual

p q r ~r p→q (p → q∨ (~r)
v v v f v v
v v f v v v
v f v f f f
v f f v f v
f v v f v v
f v f v v v
f f v f v v
f f f v v v

 Se clasifica como: contingencia, por que en la tabla de verdad se encuentran

verdaderas y falsas.
  Tabla de verdad simulador UNAD

Link: https://www.youtube.com/watch?v=CuLMyQfevmc

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

Descripción del ejercicio: A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia.
Expresión simbólica:

r→ s
s→t
r →t

Ley de inferencia : Regla transitiva o silogismo hipotetico .

Proposiciones simples :
r =¿Si comienza a ver flores comienza la primavera
t=¿. Si Comienza la primavera, los arboles darán frutos

r→ s
s→t
r →t
Lenguaje natural:
Si comienza a ver flores, entonces, comienza la primavera.
Si comienza la primavera, por ende, los arboles darán frutos.
Por lo tanto, si comienza a haber flores entonces los arboles darán frutos.

Expresión simbólica:
pV q
¬p
q
Ley de inferencia : ModusTollendo ponens
Preposiciones simples:
p¿Elijo carne de res en el almuerzo
q¿Elijo pescado en el almuerzo
pV q
¬p
q
Lenguaje natural:
Elijo carne de res en el almuerzo o pescado en el almuerzo.
No elijo pescado en el almuerzo.
Elijo carne de res en el almuerzo

Expresión simbólica:

p
q
p∧q
Ley de inferencia :
Proposiciones simples:
P¿Victor es un estudiante
q¿Es muy inteligente.
p
q
p∧q
Lenguaje natural:
Víctor es un estudiante Y es muy inteligente
Víctor es un estudiante.
Es muy inteligente.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
Descripción del ejercicio: A continuación, encontrará los argumentos para el desarrollo del
ejercicio 3:

B. Si como saludable entonces disminuyo el riesgo de padecer enfermedades cardiovasculares.

Si disminuyo el riesgo de padecer enfermedades cardiovasculares entonces tendré una larga
vida.
a. Conclusión: disminuyo el riesgo de padecer enfermedades cardiovasculares.
b. Ley de inferencia aplicada: Modus ponens.
c. Lenguaje simbólico: P = Si como saludable.
Q= disminuyo el riesgo de padecer enfermedades
cardiovasculares.

p→q
p
q

Ejercicio 4: Problemas de aplicación

Expresión simbólica:

[(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)] → q
Preposiciones simples:
p=Colombia es un país
q=Colombia tiene una capital
r=Un año tiene 365 días
¬ r= Colombia no tiene capital
¬𝑞= Un año no tiene 365 días
Lenguaje natural: Si Colombia es un país, entonces, Colombia tiene una capital, de la misma
manera, si Colombia es un país o un año tiene 365 días y entonces Colombia no tiene capital y
un año no tiene 365 días, Por conclusión, Colombia tiene una capital y un año si tiene 365 días.
Tabla de verdad:
p q r ¬r ¬𝑞 𝑝→ 𝑝∨𝑟 ¬ r ∧ ¬𝑞 [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)]
𝑞 →q

V V V F F V V V V
V V F V F V V F V
V F V F V F F F V
V F F V V F F F V
F V V F F F F V V
F V F V F F F F V
F F V F V F F F V
F F f V V F F F V

El resultado de la tabla de la verdad indica que el resultado es una tautología.

Demostración de la validez del argumento mediante las leyes de la inferencia lógica:

premisas :
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
Conclusión: q
Solución:
1= 𝑝 → 𝑞
2= 𝑝 ∨ 𝑟
3= ¬ 𝑟 ∧ ¬𝑞
4= r (S en 3)
5= q (PP EN 1 Y 4)
6= q (S en 3)
7= p (T.T en 2 y 6)
8= p ∧ q (A en 7 y 5)

Generación de la tabla de verdad a través del simulador Lógica UNAD.

Simulador:

Conclusion
En este trabajo adquirimos algunos conocimientos de leyes de inferencia y razozamiento
deductivo e inductivo, llegando al desarrollo de cada uno de los objetivos propuesto en este
trabajo.
Podemos concluir que para resolver las tematicas correspondientes sobre los tipos de
razonamiento las podemos demostrar con tablas de verdad y reglas de inferencia.

Bibliografia
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

 Simulador logica UNAD: http://logicaunad.com/jtruth/

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?
page=20 

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 28-

37).  México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39

 Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871

 Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869