Pensamiento Lógico y Matemático

(Tarea 1 Métodos para probar la validez de argumentos)

TUTOR.
JOSE GREGORIO SOLORZANO

ESTUDIANTES
JUAN DIEGO TORO SALAZAR
CC:1000533577

GRUPO
_473

PROGRAMA ADMINISTRACION EN SALUD

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

VICERRECTORIA DE SERVICIOS A ASPIRANTES ESTUDIANTES Y
EGRESADOS

2021.
 Introducción.

Una lógica proporcionada requiere de múltiples contenidos estrechando una

relación de conectores lógicos donde resalta la matemática en la época actual,

pensamiento lógico resulta ser primordial para implantarlo y de igual forma seguir un

régimen para múltiples ramas para estudiar relaciones, propiedades, Proposiciones y

análisis de argumentos.

➢ Objetivos.
Objetivo general
Conocer conocimiento como lógica proposicional verificando métodos para probar
la validez de argumentos de verdad o falsedad

Objetivos específicos.
Establecer la verdad o falsedad de una proposición.
Formar punto de conexión lógicos y establecer combinadas.
Resolución de operaciones matemáticos.
 Ejercicio 1: Proposiciones y tablas de verdad
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

[( p ∧q)∧(p → r )]⟶(r ∧ q)

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

El robot Perseverance aterriza en el planeta rojo (Marte) y obtiene muestras de roca
SI El robot Perseverance aterriza en el planeta rojo (Marte), entonces Su misión es la
búsqueda de signos de vida microbiana
Si su misión es la búsqueda de signos de vida microbiana, El robot obtiene muestras de
roca

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

[( p ∧q)∧(p → r )]⟶(r ∧ q)
TABLA DE VERDAD
p q r ( p ∧q) ( p →r ) ( p ∧q) ∧( p → r ) (r ∧q) [( p ∧q)∧(p → r )]⟶(r ∧ q)
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 determina como:

Tautología ya que es una proposición que presenta todos sus valores de verdad de sus
componentes.  
➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

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

B. Expresión simbólica
A continuación, encuentra el lenguaje simbólico de expresiones que representan
algunas leyes de inferencia
p→q
q→r
p→r

a
b
a ∧b

m→ n
¬n
¬m
A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes
ítems:

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

Silogismo hipotético puro (SHP)
Adjunción
Modus tollendo tollens (MTT)

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

descripción basada en un contexto, el que se solicita es un contexto académico (puede
usar las mismas proposiciones simples en cada una de las 3 expresiones simbólicas
seleccionadas), ejemplo:
p: Juan estudia en la UNAD
q: La UNAD es una Universidad Publica
r: La UNAD aporta el programa que Juan quiere estudiar.
a: Si juan tiene que cancelar el semestre
m: Juan no estudia lo que pretende
n: Juan no estudia en una Universidad publica
b: Juan si estudia lo que pretende

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
tomaran las medidas
correctivas estipuladas por la UNAD.

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

p→q
q→r
p→r
Si juan estudia en la UNAD, entonces la UNAD es una universidad pública, Si La UNAD
es una Universidad Publica La UNAD aporta el programa que Juan quiere estudiar.
Juan estudia en la UNAD, aporta el programa que Juan quiere estudiar.

a
b
a ∧b
Si juan tiene que cancelar el semestre, estudia lo que pretende.
Si juan tiene que cancelar el semestre y estudia lo que pretende.

m→ n
¬n
¬m
Si Juan estudia lo que pretende entonces juan no estudia en una universidad pública.
Juan no estudia lo que pretende

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

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
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
a. Conclusión: Por lo tanto, Colombia no es un país mega diverso.
b. Ley de inferencia aplicada: Modus ponendo ponens (MPP), Modus tollendo tollens
(MTT)
c. Lenguaje simbólico: a→b. ¬ab

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las
premisas y la conclusión de un argumento para el desarrollo del ejercicio 4
B. Expresión simbólica:
[( p ∧r )∧(q ∨ ¬r )∧( p → q)]→(q)
Premisas:
P1: (𝑝 ∧ 𝒓)
P2: (𝒒 ∨ ¬𝒓)
P3: (𝑝 → 𝑞)

Conclusión: 𝒓
A partir de la expresión simbólica seleccionada, el estudiante deberá:

➢ Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico, ejemplo:
p: Juan estudia en la UNAD
q: La UNAD es una Universidad Publica
r: La UNAD aporta el programa que Juan quiere estudiar.
a: Si juan tiene que cancelar el semestre
m: Juan no estudia lo que pretende
n: Juan no estudia en una Universidad publica
b: Juan si estudia lo que pretende

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
[( p ∧r )∧(q ∨ ¬r )∧( p → q)]→(q)
Juan estudia en la UNAD, la UNAD aporta el programa que juan quiere estudiar y en una
universidad pública o no se encuentra el programa que juan quiere estudiar, juan estudia,
entonces es una universidad pública.
entonces la UNAD si es una universidad pública.
 ➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).
TABLA DE VERDAD
p q r ( p ∧r ) (q ∨ ¬r ) ( p ∧r )∧(q ∨ ¬r )( p → q) [( p ∧r )∧(q ∨ ¬r )∧( p → q)]→(q)

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

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

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

Tautología ya que es una proposición que presenta todos sus valores de verdad de sus
componentes.  
Conclusiones
 Mediante el presente trabajo se aplicaron las tablas de verdad, reglas de inferencia,

un adecuado lenguaje de símbolos, entre otros. Partiendo de una elaboración párrafos donde

desarrollamos el mensaje que nos dan los símbolos.

Por otro lado, entramos a un simulador online que permite probar la validez de

argumentos de la tabla de verdad.

Referencias Bibliográficas.
 Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad

Peruana de Ciencias Aplicadas (UPC). Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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

2.2.4 Leyes y reglas de la inferencia. recuperado de:

https://sites.google.com/site/matediscretasatilanocarrillo/unidad-2-logica-matematica/2-2-4-

leyes-y-reglas-de-la-inferencia