TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

200611_650

ESTUDIANTE:
DIANA RUBIELA MARTÍNEZ PINEDA
CÓDIGO: 20611

PRESENTADO A:
ALBERTO MARIO REYES LINERO
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS DE LA SALUD (ECISA)
TECNOLOGÍA EN SEGURIDAD Y SALUD EN EL TRABAJO
PENSAMIENO LÓGICO MATEMÁTICO
TUNJA - BOYACÁ
2022
 INTRODUCCIÓN

Parte fundamental de los pilares de este curso Pensamiento Lógico

Matemático en su Fase a la Unidad 1- Métodos para probar la validez de
argumentos, se considera el aprendizaje matemático como un
componente practico aplicando a los diferentes aspectos de la vida, se
presentan actividades individuales que concluyen en el aprendizaje de
Proposiciones y Tablas de Verdad reforzando los conocimientos
evaluativos con estrategia de aprendizaje como la utilización de un
simulador virtual.
 OBJETIVOS

Objetivo General:

Reconocer a cabalidad cada uno de los elementos presentados en

el curso y apropiarlos al material expuesto en el desarrollo del
curso.

Objetivos específicos:

 Analizar el plan de estudios.

 Conocer algunas definiciones básicas para el inicio del curso.
 Reconocer las estrategias innovadoras frente al manejo de
métodos para probar la validez de argumentos.
 JUSTIFICACIÓN

La estrategia de aprendizaje para la Tarea 1, infiere al conocimiento real

de las condiciones fundamentales si se pretende desarrollar las
actividades. Debido a que el curso parte de una primera fase de
conocimiento de entornos y después propone la aplicabilidad teórico-
práctico, para la solución de problemas y enriquecer cada producto
individual. Convirtiéndose en importante motor de desarrollo, sin
embargo sigue presentando dificultades, razón por la cual se debe
abordar desde sus retroalimentaciones de sus áreas funcionales.

Es importante reconocer que no es suficiente con aplicar dicha

información, sino que se hace necesario anticiparse a los diferentes
escenarios del futuro y buscar las mejores estrategias de desarrollo de
las actividades de cualquier problema matemático.
 DESARROLLO DE LA ACTIVIDAD

EJERCICIO 1: LITERAL B

PROPOSICIONES SIMPLES

p: Santiago estudia de noche.

q: Santiago obtiene buenas calificaciones.
r: Santiago es un buen trabajador.

LENGUAJE SIMBÓLICO

∼ {r ↔ [(∼q ∧ r) ⟶ p]}

LENGUAJE NATURAL

No es cierto que Santiago es un buen trabajador si y solo si Santiago no

obtiene buenas calificaciones y Santiago es un buen trabajador. Por lo
tanto, Santiago estudia de noche.

 TABLA DE VERDAD MANUALMENTE

p q r ¬q (¬q Λ r) (¬q Λ r)→p r↔ [(¬q Λ r) →p] ¬ {r↔ [(¬q Λ r) →p]}

v v v f f v v f
v v f f f v f v
v f v v v v v f
v f f v f v f v
f v v f f v v f
f v f f f v f v
f f v v v f f v
f f f v f v f v

No es Tautología.
TABLA DE VERDAD SIMULADOR UNAD.

LINK VIDEO EXPLICACIÓN DESARROLLO DE EJERCICIO B.

https://youtu.be/dm8B0JLsrMg
 EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE
INFERENCIA LÓGICA

 EXPRESIÓN SIMBÓLICA
r →s

s →t
r→t

 LEY DE INFERENCIA DE LA EXPRESIÓN: regla de silogismo

hipotético.

 PROPOSICIONES SIMPLES:

r: El mar Mediterráneo tiene agua salada.

s: El mar Caribe tiene agua salada.

t: todos los mares tienen agua salada.

 LENGUAJE NATURAL:
El mar Mediterráneo tiene agua salada entonces el mar Caribe tiene
agua salada. El mar Caribe tiene agua salada entonces todos los mares
tienen agua salada. Por lo tanto, el mar Mediterráneo tiene agua salada
entonces todos los mares tienen agua salada.

EXPRESIÓN SIMBÓLICA

p∨q
∼p
________
q

 LEY DE INFERENCIA DE LA EXPRESIÓN: regla de Modus

Tollendo Ponens (Tp)

 PROPOSICIONES SIMPLES:
 p: el lunes fui al cine.
q: el lunes fui a la piscina.

 LENGUAJE NATURAL:
El lunes fui al cine o el lunes fui a la piscina. El lunes no fui al cine. Por
lo tanto, el lunes fui a la piscina.

EXPRESIÓN SIMBÓLICA
p
q
p∧q

 LEY DE INFERENCIA DE LA EXPRESIÓN: regla de la Adjunción

(A)

 PROPOSICIONES SIMPLES:

p: es por la mañana.
q: el sol estará en el Este.

 LENGUAJE NATURAL:
Es por la mañana. El sol estará en el Este.
Por lo tanto, es por la mañana y el sol estará en el Este.

EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE INFERENCIA

LÓGICA.
B.
Si sentarse en una posición encorvada puede provocar dolor de espalda,
entonces los estilos de vida sedentarios conllevan graves riesgos para la
salud. Los estilos de vida sedentarios no conllevan graves riesgos para
la salud.

 CONCLUSIÓN: los estilos de vida sedentarios no conllevan graves

riesgos para la salud.

 LEY DE INFERENCIA APLICADA: Modus Tollendo Tollens (TT).

 LENGUAJE SIMBÓLICO:
s →e

¬e

EJERCICIO 4: PROBLEMAS DE APLICACIÓN

 EXPRESIÓN SIMBÓLICA: [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] → 𝑞

PREMISAS:
P1: p → q
P2: p ∨ r
P3: ∼r ∧ ∼q
CONCLUSIÓN: q

 PROPOSICIONES SIMPLES:
p: Juan ha venido demasiado pronto.
q: María ha venido demasiado tarde.
r: El señor Pérez está enfadado.
  LENGUAJE NATURAL: Juan ha venido demasiado pronto
entonces María ha venido demasiado tarde y Juan ha venido
demasiado pronto o el señor Pérez está enfadado, y el señor Pérez
no está enfadado y María no ha venido demasiado tarde. Por lo
tanto, maría ha venido demasiado tarde.

 TABLA DE VERDAD MANUAL.

𝒓 𝑞 𝑝 𝑞 𝑝∨𝑟 𝑟∧ 𝑞 𝑝 𝑞 ∧ 𝑝∨𝑟 ∧ 𝑟∧ 𝑞 𝑝 𝑞 ∧ 𝑝∨𝑟 ∧ 𝑟∧ 𝑞 𝑞

p q r ¬ ¬ → ¬ ¬ [( → ) ( ) (¬ ¬ )] [( → ) ( ) (¬ ¬ )] →
v v f v f v v f f v
v v v f f v v f f v
v f f v v f v v f v
v f v f v f v f f v
f v f v f v f f f v
f v v f f v v f f v
f f f v v v f v f v
f f v f v v v f f v

 TABLA DE VERDAD SIMULADOR UNAD

 

DEMOSTRACIÓN DE LA VALIDEZ DEL ARGUMENTO MEDIANTE

LAS LEYES DE INFERENCIA:

P1: p → q
P2: p ∨ r
P3: ¬ 𝑟 ∧ ¬𝑞
P4: ¬r S (3)
P5: p Tp (2,4)
P6: q Pp (1,5)

CONCLUSIONES

De acuerdo a los resultados obtenidos en el desarrollo de los entornos

del curso Pensamiento Matemático Lógico, se logró la comprensión y
apropiación de los conceptos básicos de Métodos para probar la validez
de argumentos. Se encuentra en disposición del Tutor, con el fin de
generar un compromiso individual y colaborativo, que además concibe a
la responsabilidad en cada uno de los entornos en cada rol.
 REFERENCIAS BIBLIOGRÁFICAS.

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
http://logicaunad.com/jtruth/ simulador UNAD.