UNIDAD 1 – TAREA 1 METODOS PARA PROBAR LA VALIDEZ DE

ARGUMENTOS

PRESENTADO POR:
MARIA ALEJANDRA MORATO MUÑOZ

PRESENTADO A:
YENNY MARISOL CAYACHOA

GRUPO:
200611_2025

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES – ECSAH
PROGRAMA DE SOCIOLOGIA
PENSAMIENTO LOGICO Y MATEMATICO
04/10/20
 INTRODUCCIÓN

En el siguiente trabajo Unidad 1 – tarea 1 métodos para probar la validez de argumentos,

Damos solución a una serie de ejercicios planteados por la guía de actividades, los cuales
elegí los ejercicios de la letra B, donde buscamos reforzar o adquirir conocimientos acerca
de temas como; Proposiciones y tablas de verdad, identificación, aplicación y problemas de
aplicación de las Reglas de la inferencia lógica, y, el manejo del lenguaje simbólico y
natural en la matemática.
 OBJETIVOS

La presente actividad tiene como objetivo qué, en el momento de darle solución a la

actividad en ejecución se ponga en práctica nuestros conocimientos y/o capacidades
empoderadas antes y después de realizar la lectura de los contenidos facilitados por el
curso. Sumando a lo dicho con anterioridad, se busca reforzar o adquirir conocimientos
acerca de temas como; Proposiciones y tablas de verdad, identificación, aplicación y
problemas de aplicación de las Reglas de la inferencia lógica, y, el manejo del lenguaje
simbólico y natural en la matemática.
Desarrollo de la actividad:

A continuación, evidenciaremos el desarrollo de la actividad correspondiente a la unidad

numero 1 de trabajo. Para la presente actividad he decidido desarrollar los ejercicios
correspondientes a la letra “B”.

Ejercicio 1: Proposiciones y tablas de verdad.

A continuación, se evidenciarán las proposiciones simples necesarias para el desarrollo del

ejercicio 1.

 Proposiciones simples:

p: Diego es deportista de alto rendimiento

q: Diego debe entrenar todos los días
r: Diego llena una vez por semana su tabla de rendimiento físico

 Lenguaje Simbólico:

(𝑝→𝑞) ∨ (~𝑟)
  Lenguaje Natural

Si Diego es deportista de alto rendimiento, entonces, Diego debe entrenar todos los días o
Diego no llenará una vez por semana su tabla de rendimiento físico.

 Tabla de verdad manual.

P q r ~𝑟 𝑝→𝑞 (𝑝→𝑞) ∨ (~𝑟)

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

 Se clasifica como Contingencia.

 Tabla de verdad haciendo uso del simulador Lógica Unad.

Link del Video

https://www.youtube.com/watch?v=4_4ljLieScA
Ejercicio 2: Identificación de las reglas de la inferencia lógica

A continuación, encontraremos el lenguaje simbólico de expresiones que representan

algunas leyes de inferencia.

Expresión simbólica

A) r→s B) pVq C) p
s→t ¬p q
r→t q p∧q

 Ley de inferencia de la expresión:

Expresión A: Silogismo Hipotético

Expresión B: Modus Tollendo Ponens
Expresión C: Adjunción

 Proposiciones simples:

Expresión A:
r: Marcos estudia todos los días
s: Marcos es un buen estudiante
t: Marcos aprobará el año escolar

Expresión B:
p: Juan deberá aprobar el curso de ingles
q: Juan perderá la beca universitaria.

Expresión C:
p: Sofía estudia en la Unad
q: Sofia aprende matemáticas
  Lenguaje natural:

Expresión A:

Si Marcos estudia todos los días, entonces, él es un buen estudiante. Si Marcos es un buen
estudiante, entonces, él aprobará el año escolar, por lo tanto, si Marcos estudia todos los
días, entonces, él aprobará el año escolar.

Expresión B:

Juan deberá aprobar el curso de inglés o perderá la beca universitaria. Juan no aprobó el
curso de inglés, por lo tanto, él perderá la beca universitaria.

Expresión C:

Sofía estudia en la Unad. Sofia aprende matemáticas, por lo tanto, Sofia estudia en la Unad
y aprende matemáticas.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

 Argumento:
Si como saludable entonces disminuyo el riesgo de padecer enfermedades
cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares
entonces tendré una larga vida.
  Conclusión:

Si como saludable entonces tendré una larga vida.

 Ley de inferencia:

Silogismo Hipotético (SP)

 Lenguaje Simbólico:

P→Q
Q→R
P→R

Ejercicio 4: Problemas de aplicación

 Expresión simbólica:

[(𝑝→𝑞) ∧ (𝑝∨ 𝑟) ∧ (¬ r∧¬𝑞)]→𝑞

Premisas:
P1:(𝑝→𝑞)
P2: (𝑝∨ 𝑟)
P3:(¬ 𝑟∧ ¬𝑞)
Conclusión: 𝑞

 Proposiciones Simples:
p: Carlos estudia todos los días.
q: Carlos es un buen estudiante.
r: Carlos entrega todos los trabajos exigidos.

 Lenguaje Natural:

Si Carlos estudia todos los días entonces él es un buen estudiante, y si Carlos estudia todos
los días o entrega todos los trabajos exigidos y, si Carlos no estrega todos los trabajos
exigidos y no es buen estudiante entonces Carlos es un buen estudiante.

 Tabla de Verdad Manual:

 Tabla de verdad Simulador Lógica Unad:

  Demostración de la validez del argumento mediante las Leyes
de Inferencia:

Premisas:
P1:(𝑝→𝑞)
P2: (𝑝∨ 𝑟)
P3:(¬ 𝑟∧ ¬𝑞)

P4: ¬ 𝑟…. Simplificación (S) P3

P5: P…Modus Tollendo Ponens (TP) P2 Y P4
P6: Q…Modus Ponendo Ponens (PP) P1 Y P5.
 CONCLUSIONES

En el desarrollo de la presente actividad, he adquirido conocimiento que me ha facilitado el

entendimiento y perfeccionamiento de ejercicios basados en temas tales como;
proposiciones, tablas de verdad (Manuales y utilizando simuladores educativos), reglas y/o
leyes de inferencia en todos sus aspectos y, he comprendido el manejo adecuado del
lenguaje simbólico en la lógica matemática.