PENSAMIENTO LOGICO MATEMATICO

UNIDAD 3 CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

ESTUDIANTE: MARTHA LUCIA GONZALEZ RIVERA

TUTOR: YADY MILENA CAMACHO

GRUPO: 2100

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

 INTRODUCCIÓN

Este trabajo se realizó con el fin de dar a conocer la clasificación de proposiciones

categóricas y métodos para probar validez de argumentos, es decir, se aplicaron procesos de
leyes de inferencia, así como las formas de razonamiento entendido como el conjunto de
enunciados en el que hay uno que se presenta como justificado por los otros enunciados, y
en base a ello se identificaron las premisas, el uso de conectores lógicos, lenguaje
simbólico, realización de tablas de verdad y demostración por medio del simulador.
 OBJETIVOS

 Conocer la clasificación de proposiciones categóricas y métodos para probar validez

de argumentos.

 Identificar cada una de las leyes de inferencia y razonamiento deductivo.

 Desarrollar las tablas de verdad y comparar sus resultados con el simulador Lógica
Unad.
 EJERCICIO #1

Proposiciones categóricas para el desarrollo del ejercicio 1 de la letra C.

P: Todos los pacientes se toman sus medicamentos

q: Algunos pacientes no se toman sus medicamentos

 Establecer su estructura de acuerdo con la siguiente tabla para p:

ESTRUCTURA

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

Todos Pacientes Se toman Sus medicamentos

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

Universal afirmativa (proposiciones-A): Todo S es P. Cuantificador universal y

cualidad afirmativa.

 Establecer su estructura de acuerdo con la siguiente tabla para q:

ESTRUCTURA

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

Algunos Pacientes Se toman Sus medicamentos

Particular afirmativo (proposiciones-I): Algunos S son P. Cuantificador

particular y cualidad afirmativa.

 De acuerdo a la determinación anterior y teniendo el siguiente esquema,

establezca si las proposiciones son contrarias, de contingencia o subcontrarias.
 Requisito para este paso las proposiciones deben tener el mismo término sujeto
y predicado.

De acuerdo al esquema p y q son subalternas.

EJERCICIO 2
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio
2.

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.

Argumento: El razonamiento propuesto 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).

EJERCICIO 3
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 3:

C. Expresión simbólica: [( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s

Premisas
P1: p ∨( q ∧r )
P2: ¬ ( q ∧r )
P3: p → s

Conclusión: s

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: Estudiantes de la unad

q: Programa de licenciatura en pedagogía infantil

r: Estudiantes que cursan infancias

s: seré profesional

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

Las proposiciones simples deben ser de autoría de cada estudiante.

P1: p ∨(q ∧r )

Estudiantes de la unad o programa de licenciatura en pedagogía infantil y

estudiantes que cursan infancias.

P2: ¬ ( q ∧r )
Ni el programa de licenciatura en pedagogía infantil y tampoco estudiantes que
cursan infancias.

P3: p → s

Estudiantes de la Unad entonces seré profesional.

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 (En Word,
Excel o foto del desarrollo manual).
 a d b c e
p→ ~ b^~ c^ e→
p q r s q^ r s a pᵛ a a d s
v v v v v v f v f f v
v v v f v f f v f f v
v v f v f v v v v v v
v v f f f f v v v f v
v f v v f v v v v v v
v f v f f f v v v f v
v f f v f v v v v v v
v f f f f f v v v f v
f v v v v v f v f f v
f v v f v v f v f f v
f v f v f v v f f f v
f v f f f v v f f f v
f f v v f v v f f f v
f f v f f v v f f f v
f f f v f v v f f f v
f f f f f v v f f f v

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

lógica.

P1: p ∨( q ∧r )
P2: ¬ ( q ∧r )
P3: p → s
P4: p con p1 y p2 silogismo disyuntivo
P5: s con p3 y p4 modus ponens

CONCLUSIONES
 Afianzar conocimientos relacionados con el razonamiento lógico, llamado así al
proceso mental de realizar una inferencia de una conclusión a partir de premisas.
 El desarrollo del trabajo me permitió desarrollar y afianzar las temáticas dadas en la
unidad de lógica matemática, tales como los principios de la lógica razonamiento
deductivo e inductivo, inferencias lógicas y leyes de inferencia, la construcción de
tablas de verdad.

REFERENCIAS
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&docID=4569631&tm=1529336365580

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802