PENSAMIENTO LOGICO Y MATEMATICO

TAREA 3– CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS

Y MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

KELLY ALEXANDRA VIVEROS RENGIFO

CODIGO: 1148951001

TUTOR
HUGO LOPEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA (ECBTI)
ZCSUR CEAD SANTANDER DE QUILICHAO
2019
 INTRODUCION

El presente trabajo identifica el concepto de razonamiento por inducción y

deducción en formulaciones de situaciones específicas del mundo.
Dependiendo de la letra escogida identificaremos las premisas para decidir qué
clase de razonamiento estamos usando. Sin embargo se explicaran temas de
proposiciones y tablas de verdad.
Se tendrán en cuenta tablas de verdad manual teniendo en cuenta el
enunciado elegido para el desarrollo de todos los ejercicios la letra E. dando a
conocer las proposiciones simples y el lenguaje simbólico para estas.
Identificando el número de líneas con las que se va a trabajar en la elaboración
de cada tabla.
Sin embargo se darán a conocer las comparaciones de las tablas de verdad
realizadas con el simulador de lógica unad para demostrar que están bien
realizadas.
 OBJETIVOS

Objetivo general
Reconocer los conceptos proposiciones simples e identificar razonamientos
deductivo e inductivo.

Objetivos específicos
 Identificar las proposiciones categóricas
 Establecer si las proposiciones son contrarias , de contingencia o su
contrarias
 Reconocer la expresión simbólica, las premisas y la conclusión de un
argumento.
 Formulas tablas de verdad manualmente
 Manejar el simulador de lógica UNAD
 Demostrar la validez del argumento mediante las leyes de inferencia
Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

e)

 p: Todos los abogados son muy profesionales

 q: Algunos abogados no son muy profesionales

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

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

Predicado

Todos Abogados son Muy

profesionales

 Determinar 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 Término

Cúpula Predicado

Algunos Abogados no son Muy profesionales

 Determinar 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, de
contingencia o subcontrarias.

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

e. Los estudiantes de las universidades que son a Distancia, utilizan los medios
informáticos para estudiar, Claudia es estudiante de Pensamiento Lógico
Matemático de la UNAD. Claudia muy seguramente utiliza los medios
informáticos para estudiar.

DESARROLLO

 P1: Los estudiantes de las universidades que son a distancias, utilizan

los medios informativos para estudiar
 P2: Claudia es estudiante de pensamiento lógico Matemático de la
UNAD
 P3: Claudia muy seguramente utiliza los medios informativos para
Argumentación: El razonamiento utilizado es el deductivo, ya que, a partir de
hechos conocidos que los estudiantes de las universidades a distancia utilizan
los medios informativos para estudiar se deduce que Claudia por estudiar en la
UNAD seguramente utiliza los medios informativos para estudiar.

Ejercicio 3: Problemas de aplicación

a. Expresión simbólica: [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)

Premisas:
P1: (𝑝 ⟶ 𝑞)
P2: (∼ 𝑟 ⟶ 𝑠)
P3: (𝑝 ∨∼ 𝑟)
Conclusión: (𝑞 ∨ 𝑠)

DESARROLLO
Proposiciones simples

 p=la UNAD es una universidad a distancia

 q=Kelly quiere estudiar en la UNAD
 r= da la carrera que Kelly estudiar
 s=Kelly escoge otra carrera

Razonamiento en lenguaje natural

Si la UNAD es una universidad a distancia entonces Kelly quiere estudiar

en la UNAD. Si no da la carrera que Kelly quiere estudiar entonces Kelly
escoge otra carrera. Y si la UNAD es una universidad a distancia o no da
la carrera que Kelly quiere estudiar entonces Kelly quiere estudiar en la
UNAD o Kelly escoge otra carrera.
 Tabla de verdad manualmente

[(p⟶q)∧(∼r⟶s)∧(p∨∼r)]⟶(q∨s)
p q r ∼r s (p⟶q) (∼r⟶s) (q∨s) (p∨∼r) (p⟶q)∧(∼r⟶s(∼r⟶s)∧(p∨∼r) [(p⟶q)∧(∼r⟶s)∧(p∨∼r)] [(p⟶q)∧(∼r⟶s)∧(p∨∼r)]⟶(q∨s)
V V V F F V V V V V V V V
V V V F V V V V V V V V V
V V F V F V F V V F F F V
V V F V V V V V V V V V V
V F V F F F V F V F V F V
V F V F V F V V V F V F V
V F F V F F F F V F F F V
V F F V V F V V V F V F V
F V V F F V V V F V F F V
F V V F V V V V F V F F V
F V F V F V F V V F F F V
F V F V V V V V V V V V V
F F V F F V V F F V F F V
F F V F V V V V F V F F V
F F F V F V F F V F F F V
F F F V V V V V V V V V V

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Leyes de inferencia:
[(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)

P1:𝑝 ⟶ 𝑞
P2:∼ 𝑟 ⟶ 𝑠
P3:𝑝 ∨∼ 𝑟
Conclusión
𝑞∨𝑠
DEMOSTRACION
P4: q aplicando MPP en p1
P5: p aplicando MPP en p1 p4
P6 q v s aplicando DC p1 p2
 CONCLUSION

De esta forma concluimos que las proposiciones categóricas y las premisas

encontradas se identificaron a partir de la letra p, llevándolas al lenguaje
simbolico.para la realización de tablas de verdad manualmente debimos
identificar el número de líneas con las que vamos a trabajar 2^n donde n= el
número de proposiciones.
Sin embargo el simulador de lógica UNAD es de gran ayuda para comparar las
tablas y estar seguro de que están bien realizadas. Tener claro que para la
demostración de la las premisas en las leyes de inferencia es necesario tener
claro la tabla de leyes de inferencia para lograr concluir.