TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PRESENTADO POR: DIANA MARCELA VENERA SUAREZ

CÓDIGO: 1064713607

TUTOR: JOSE MANUEL MORALES

GRUPO: 2006611-448

PROGRAMA

TECNOLOGO EN SALUD Y SEGURIDAD EN EL TRABAJO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – (UNAD)

ESCUELA DE CIENCAS BASICAS, TECNOLOGIA E INGENIERIA
MAYO 16 DEL 2021
 INTRODUCCIÓN
el siguiente trabajo está enfocado en la tarea 1 métodos para probar la validez de argumentos,
la cual se va a desarrollar bajo 4 ejercicios planteados para el inciso A, donde aprenderemos
a desarrollar proposiciones y tablas de verdad, a comprender proposiciones compuestas en
lenguaje natural, de igual forma desarrollaremos tablas de verdad manualmente a partir del
lenguaje simbólico, determinando si el resultado es una tautología, además de la tabla de
verdad a través del simulador lógica UNAD.

De igual forma se identificarán las reglas de la inferencia lógica, el lenguaje natural de cada
ley de Inferencia expresada en lenguaje simbólico, así como su debida aplicación de las
reglas.

En general la lógica se aplica en las tareas diarias se interpreta e identifica en forma clara, la
estructuras y fundamento conceptual que tipifica los métodos de inferencia deductivos e
inductivos, para probar la validez de argumentos en diferentes situaciones.
 OBJETIVOS

 Escribir las proposiciones compuestas propuestas en lenguaje natural.

 Generar tabla de verdad manualmente a partir del lenguaje simbólico y a través del
simulador Lógica UNAD, determinar si el resultado es una tautología, contingencia
o contradicción.

 Identificar y aplicar las reglas de la inferencia lógica.

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.

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

 Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

INCISO B.
p: El robot Perseverance aterriza en el planeta rojo (Marte)
q: El robot obtiene muestras de roca
r: Su misión es la búsqueda de signos de vida microbiana

[(𝒑∧𝒒)∧(𝒑→𝒓)]⟶(𝒓∧𝒒)

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

RPT/ el robot Perseverance aterriza en el planeta rojo (Marte) y el robot obtiene muestras de
rocas. El robot Perseverance aterriza en el planeta rojo (Marte), entonces su misión es la
búsqueda de signos de vida microbiana. Entonces si su misión es la búsqueda de signos de
vida microbiana, por lo tanto el robot obtiene muestras de rocas.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción

RPT/
Lenguaje simbólico= [(𝒑∧𝒒)∧(𝒑→𝒓)]⟶(𝒓∧𝒒)
2n = 23= 8

TABLA DE VERDAD

p q r 𝒑∧𝒒 𝒑→𝒓 (𝒑∧𝒒)∧(𝒑→𝒓) 𝒓∧𝒒 [(𝒑∧𝒒)∧(𝒑→𝒓)]⟶(𝒓∧𝒒)

V V V V V V V V
V V F V F F F V
V F V F V F F V
 V F F F F F F V
F V V F V F V V
F V F F V F F V
F F V F V F F V
F F F F V F F V
Se clasifica como una, Tautología

 Generar la tabla de verdad a través del simulador Lógica UNAD

RPT/

Se clasifica como una, Tautología

 Link del video
https://youtu.be/5M8We2ydGvI

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

Descripción del ejercicio:

B. Expresión simbólica
  Nombrar la ley de inferencia que representa cada expresión simbólica.

RPT/ Ley de inferencia: Silogismo Hipotético (SH)

RPT/ Ley de inferencia: Conjunción (C)

RPT/ Ley de inferencia: Modus Tollens (MT)

 Definir las proposiciones simples

p: Diana estudia ingeniería civil en la UFPSO

q: ve la materia de Física
r: será evaluado sobre la primera actividad
Conclusión: Si Diana estudia ingeniería civil en la UFPSO, entonces será evaluado sobre la
primera actividad

p →q = Si Diana estudia ingeniería civil en la UFPSO, entonces ve la materia de Física

q→r= Si ve la materia de Física, entonces será evaluado sobre la primera actividad
p→r=Si Diana estudia ingeniería civil en la UFPSO, entonces será evaluado sobre la primera
actividad

a: Diana estudia Ingeniería Civil en la UFPSO

b: Diana estudia Ingeniera Ambiental en la UFPSO
a ʌ b: Diana estudia Ingeniería Civil y estudia Ingeniería Ambiental en la UFPSO

m: tienes que estudiar

n: tienes examen
¬n: no tengo examen
¬m: no tengo que estudiar

m→n: si tienes que estudiar, entonces tienes examen

¬n: no tengo examen
¬m: por lo tanto no tengo que estudiar

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.
Lenguaje natural: Si Diana estudia Ingeniería Civil en la UFPSO, entonces ve la materia
de Física, por lo tanto será evaluado sobre la primera actividad.

Lenguaje natural: Diana estudia Ingeniería Civil y estudia Ingeniería Ambiental en la

UFPSO

Lenguaje natural: Si tienes que estudiar, entonces tienes examen. No tengo examen, por
lo tanto no tengo que estudiar.

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

Descripción del ejercicio:

B. Si Colombia es un país megadiverso entonces Colombia presenta un gran número de

ecosistemas. Colombia no presenta un gran número de ecosistemas
p: Colombia es un país megadiverso
q: Colombia presenta un gran número de ecosistemas
¬r: Colombia no presenta un gran número de ecosistemas

a. Conclusión: por lo tanto Colombia no es un país megadiverso

b. Ley de inferencia aplicada: Modus Tollens (MT)
 𝐩 →𝐪
¬𝒓
c. Lenguaje simbólico:
¬𝑝

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

B. Expresión simbólica: [(𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧ (𝑝→𝑞)] → (𝑞)

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

➢Definir las proposiciones simples

p= Diana estudia ingeniería civil en la UFPSO

q= Diana aprobó la materia de física
r= Diana esta matriculada en el segundo semestre

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Si Diana estudia ingeniería civil en la UFPSO y Diana esta matriculada en el segundo

semestre, Diana aprobó la materia de Física o no esta matriculada en el segundo semestre.
Diana estudia ingeniería Civil en la UFPSO, entonces Diana aprobó la materia de física.

Conclusión: Diana aprobó la materia de física

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

Expresión simbólica: [(𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧ (𝑝→𝑞)] → (𝑞)

2n = 23= 8

p q r ¬r (𝑝∧𝑟) (𝑞∨¬𝑟) (𝑝→𝑞) [(𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧ (𝑝→𝑞)] [(𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧ (𝑝→𝑞)] → (𝑞)
V V V F V 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 F V F F V
F V V F F V V F V
F V F V F V V F V
F F V F F F V F V
F F F v F V V F V

Se clasifica como una, tautología

➢Generar la tabla de verdad a través del simulador Lógica UNAD

Se clasifica como una, tautología

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

P1: (𝑝∧𝒓)
P2: (𝒒∨¬𝒓)
P3: (𝑝→𝑞)
Conclusión: 𝑞
P4: p (simplificador)
P5: p3 y p4 (Modus Ponendo Ponens (PP)

.
 CONCLUSIÓN

 Al finalizar este trabajo se logró la comprensión de proposiciones simples y

compuestas en un lenguaje natura.
 Se aplicó la tabla de verdad manual y la del simulador lógico UNAD, a través de
expresiones simbólicas determinando su resultado como una tabla de tautología para
el ejercicio 1 y con una tabla de contradicción para el ejercicio 4
 Se identificaron y aplicaron las reglas de inferencias lógica

 Se demostró la validez del argumento mediante las leyes de la inferencia lógica.

 REFERENCIAS BIBLIOGRAFICAS

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana
de Ciencias Aplicadas (UPC).

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. Villalpando, B. J. F. (2014). Matemáticas discretas:
aplicaciones y ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial Patria.

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

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

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

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

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

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