Unidad 3: Tarea 3 - Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos

Realizado por:
Daniel Santiago Paredes Galindo
Código:
1012463167

Docente:
Ciro Efraín Martínez Báez

Curso:
Pensamiento Lógico Matemático

Grupo: 200611_149

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas Tecnologías e Ingeniería ECBTI
Ingeniería de Telecomunicaciones
Abril de 2020
Tabla de Contenido

Portada 1
Tabla de Contenido 2
Introducción 3
Objetivos 4
Proposiciones categóricas 5
Razonamiento Deductivo e Inductivo 7
Problemas de aplicación 8
Conclusiones 11
Referencias Bibliográficas 12
 Introducción

El presente trabajo tiene como objetivo que el estudiante sepa identificar en las
proposiciones, cual es el cuantificador, el termino sujeto, la cualidad o cúpula y el termino
predicado, al identificar esta información el estudiante estará en la capacidad de poder
identificar si las premisas son contrarias, subalternas, subcontrarias o contradictorias.
Al dominar los conceptos anteriores el estudiante podrá leer un razonamiento e identificar
si este es deductivo o inductivo, y con sus propias palabras dar respuesta que tipo de
razonamiento es, por último, el estudiante recordara como interpretar el lenguaje simbólico,
mediante proposiciones simples, las cuales provocan que el estudiante utilice ese
pensamiento matemático para poder comprender las proposiciones, una vez el estudiante
sepa interpretar el lenguaje simbólico podrá convertir el lenguaje simbólico a lenguaje
formal. Ya adquirido este nuevo conocimiento el estudiante se enfrentará a un nuevo reto el
cual constará de generar una tabla de verdad con las proposiciones simples resueltas
anteriormente, al realizar esta actividad se debe comprobar si las proposiciones simples son
verdaderas aplicando las leyes de inferencia.
 Objetivos

1. Identificar en las proposiciones simples, cual es el cuantificador, el termino sujeto,

la cualidad o cúpula y el termino predicado.
2. Leer y identificar una serie de razonamientos, en donde se indique si son
razonamientos deductivos o inductivos.
3. El estudiante estará en la capacidad de saber interpretar el lenguaje simbólico y
poder llevar este lenguaje simbólico a un lenguaje formal.
4. El estudiante estará en la capacidad de poder crear y resolver tablas de la verdad
mediante proposiciones simples y complejas.
5. El estudiante estará en la capacidad de poder identificar si una proposición es
verdadera o no aplicando las leyes de inferencia.
 Ejercicio 1: Proposiciones categóricas
Descripción del ejercicio
A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1:
a).
p: Todos los médicos son especialistas
q: Algunos médicos no son especialistas

• Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Termino Predicado
Todos Médicos Son Especialistas

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

• Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Termino Predicado
Algunos Médicos No son Especialistas

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

Clasificación de q: Proposición tipo “O”, Particular Negativa, cuantificador particular y
cualidad negativa.
• Establecer si las proposiciones son contrarias, subalternas, subcontrarias o contradictorias.

De acuerdo al esquema las proposiciones p y q son Contradictorias.

 Ejercicio 2: Razonamiento Deductivo e Inductivo

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

A. Según estudios médicos las personas con altas dosis de sodio en su cuerpo sufren de
hipertensión. A Angela le gusta condimentar sus alimentos con mucha sal, los
médicos han diagnosticado que Angela sufrirá de hipertensión.

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.

Razonamiento
Según estudios médicos las personas con altas dosis de sodio en su cuerpo sufren de hipertensión. A
Angela le gusta condimentar sus alimentos con mucha sal, los médicos han diagnosticado que
Angela sufrirá de hipertensión

Desarrollo
Argumentación: El razonamiento utilizado es el deductivo, ya que a partir de hechos
conocidos como el nivel de sodio que existe en la sal, se deduce que las personas que tienen
grandes cantidades de sodio en el cuerpo sufren de hipertensión.
 Ejercicio 3: 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 3:

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

Premisas:

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

Conclusión: q

• 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: Santiago asiste a los B-learning

q: Camila estudia en la UNAD

s: Luisa estudia ingeniería en telecomunicaciones

~s: Luisa no estudia ingeniería en telecomunicaciones

~q: Camila no estudia en la UNAD

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

Si Santiago asiste a los b-learning ENTONCES Camila estudia en la unad Y Santiago asiste
a los b-learning O luisa estudia ingeniería en telecomunicaciones Y luisa no estudia
ingeniería en telecomunicaciones Y Camila no estudia en la unad ENTONCES Camila
estudia en la unad.
 [(p→q)∧(p ∨ s)∧(¬s∧¬q)]→q

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico

[(p→q)∧(p ∨ s)∧(¬s∧¬q)]→q

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q s ~q ~ (p→q (p ∨ s) (¬s∧¬q (p ∨ s)∧(¬s∧¬q) (p→q)∧(p ∨ s)∧(¬s∧¬q) [(p→q)∧(p ∨

s ) ) s)∧(¬s∧¬q)]→q

V V V F F V V F F F V
V V F F V V V F F F V
V F V V F F V F F F V
V F F V V F V V V F V
F V V F F V V F F F V
F V F F V V F F F F V
F F V V F V V F F F V
F F F V V V F V F F V
• Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: (p→q)
P2: (p ∨ s)
P3: (¬s∧ ¬q)
Conclusión: q
P4: ¬s S de 3
P5: p SD de 2 y 4
P6: q MPP de 1 y 5
 Conclusiones

 Después de realizar satisfactoriamente el ejercicio, el estudiante tendrá la capacidad

de poder iidentificar en las proposiciones simples, cual es el cuantificador, el
termino sujeto, la cualidad o cúpula y el termino predicado.
 Mediante el conocimiento adquirido el estudiante podrá leer e identificar una serie
de razonamientos, en donde se confirme si son razonamientos deductivos o
inductivos.
 Mediante el conocimiento adquirido el estudiante estará en la capacidad de poder
interpretar las proposiciones simples, identificando cada símbolo y transformándolo
en un lenguaje natural.
 Una vez se tenga claro tanto el lenguaje simbólico como el lenguaje natural, el
estudiante podrá crear tablas de verdad e identificar si esta es una Tautología,
Contradicción yo una Contingencia.
 El estudiante estará en la capacidad de poder identificar si una proposición es
verdadera o no aplicando las leyes de inferencia.
 Referencias bibliográficas

• Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61-65.)
• Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 78 - 99). Ediciones Elizcom, Madrid.