Pensamiento Lógico Matemático

Tema: Clasificación de proposiciones categóricas y Métodos para probar validez de

argumentos

Estudiantes: Adalberto Mercado Castro

Tutor: Ever Antonio Polo

Grupo: 897

UNAD
(Universidad Nacional Abierta y a Distancia)

2019
INTRODUCCIÓN

El razonamiento lógico es un proceso mental en el cual interviene la aplicación de formas,

métodos y principios enmarcados en la validez de algunas premisas que llevan una
conclusión que puede ser identificada como verdadera o no. Esto puede convertirse en
inductivo o deducible donde la conclusión presenta un grado de probabilidad determinada
por su validez.
En el siguiente trabajo se muestra una serie de conceptos y temáticas desarrolladas a lo
largo del curso del pensamiento lógico matemático, entre las que se aplica la transición del
lenguaje natural al lenguaje simbólico, la identificación de las premisas simples, la
elaboración de las tablas de verdad, el uso de software simulador.
La de mostración de la validez o no, la validez de un planeamiento por el medio de las
leyes de inferencia y las formas de razonamiento (inductivo y deductivo) para proponer una
formalización y resolución a las situaciones problemáticas.

Objetivos Generales
 Fortalecer los principios y temas adquiridos en las unidades de lógica matemática.

Objetivos específicos.
 Dar uso a las formas básicas de las tablas de verdad.
 Demostrar la validez o la invalidez de las situaciones problemáticas en el medio de
los principios de la lógica.
 Demostrar la validez o la invalidez de las situaciones problemáticas por medio de
las leyes de la indiferencia lógica.
 Analizar y plantear una situación grupal a la problemática sugerida en la guía.
Ejercicio 1: Proposiciones categóricas
Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 3).

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio
A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1:
Ejercicio 3
C).
p: Todos los pacientes se toman sus medicamentos
q: Algunos pacientes no se toman sus medicamentos
A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 Establecer su estructura de acuerdo con la siguiente tabla:

p: Todos los pacientes se toman sus medicamentos

ESTRUCTURA

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Todos Pacientes Toman Medicamentos

 Determine el tipo de proposición (A, E, I, O).

Clasificación de p: Proposición tipo “A”.

Universal afirmativa. Cuantificador universal y cualidad afirmativa.
q: Algunos pacientes no se toman sus medicamentos

ESTRUCTURA

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Algunos Pacientes No se toman Medicamentos

 Determine el tipo de proposición (A, E, I, O).

Clasificación de q: Proposición tipo “O”.

Particular negativo. Cuantificador particular y cualidad negativa.

 Establecer si las proposiciones son contrarias, de contingencia o

subcontrarias.

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo
Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 3).
Una vez realizada la lectura, desarrolle el ejercicio propuesto.
Descripción del ejercicio:
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:
Ejercicio C
C. Gabriela dice que la arquitectura es el estudio del arte de habitar un espacio,
por ende, considera que se debe definir de acuerdo con el entorno, el clima,
optimizando el área a construir, dándole utilidad a cada metro cuadrado y con
el propósito de modernizar de una manera sobria la zona en la que el proyecto
arquitectónico será ejecutado.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.

El razonamiento propuesto por Gabriela es de tipo deductivo puesto que hace uso de la
definición general (premisas generales) de la arquitectura como medio artístico de la
utilización del espacio para generar una conclusión, también generalizada (relación
armoniosa espacio habitable-entorno). La misma responde de manera holística a las
necesidades del individuo y la sociedad.
Ejercicio 3: Problemas de aplicación
Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 3).
Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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 3: ejercicio C

C. Expresión simbólica: [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ~(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

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.

p: ir en motocicleta
q: aumentar la velocidad caminando
r: llegar temprano a la Universidad
s: pierdo el examen
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante

P1: 𝑝 ∨ (𝑞 ∧ 𝑟) = Ir en motocicleta o aumento la velocidad caminando y llegar temprano a

la universidad

P2: ~(𝑞 ∧ 𝑟) = no aumentar la velocidad, y llegar temprano a la universidad

P3: 𝑝 → 𝑠 = ir en motocicleta entonces pierdo el examen

Conclusión s
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s [(𝑝 ∨ (𝑞 𝑝→𝑠 →𝑠 [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ~(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

∧ 𝑟))
∧ ~(𝑞
∧ 𝑟)
v v v v v v v v
v v v f v v v v
v v v v f f v v
v v v f f f v v
v f v v v v v v
v f v f v v v v
v f f v f f v v
v f f f f f v v
f v v v v v v v
f v v f v v v v
f v f v v v v v
f v f f v v v v
f f v v v v v v
f f v f v v v v
f f f v v v v v
f f f f v v v v
v v v

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.
Como resultado una tautología
Premisas
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ~(𝑞 ∧ 𝑟)
P3: 𝑝 → 𝑠
Conclusión: 𝑠
P4: s
 CONCLUSIÓN

 Reforzamos los conocimientos adquiridos en el anterior Unidad a dar Uso a las

formas básicas de las tablas de verdad, los principios de Lógica y los razonamientos
lógicos para demostrar la validez de las situaciones o problemáticas propuestas.

 Analizamos en grupo la situación problemática sugerida en la guía pro medio de la

inferencia lógica y las leyes de inferencia planteado una solución.

BIBLIOGRAFÍA
Proposiciones categóricas
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&doc
ID=4569631&tm=1529336365580

Leyes de Inferencia
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&doc
ID=3199701&tm=1529336485971