UNIDAD 3

Tarea 3- Proposiciones categóricas y razonamientos lógicos

Presentado por:

Ruth Zapata Salazar

Código:

1002863087

Grupo:

1057

TUTOR:

Aura Elisa Quesada

UNIVERCIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICO

UDR- VALLE DEL GUAMUEZ

06 / NOVIEMBRE / 2019
 INTRODUCCION

En el presente trabajo se da solución a tres tipos de ejercicios en los cuales se plasman los

conceptos y aplicaciones de distintas proposiciones, razonamientos lógicos de argumentos ya

sean deductivos o inductivos y las leyes de inferencias para probar valides de argumentos.

Para el desarrollo de los ejercicios he seleccionado realizar todos los ejercicios A.

Observamos en el primer ejercicio dadas las proposiciones categóricas se elabora un dos

cuadros donde se ordenan las proposiciones dando a conocer su cuantificador, sujeto,

cualidad y predicado, donde se puede clasificar que tipo proposición es y se elabora un

esquema para definir si las proposiciones son contingencias contrarias, subcontrarias,

subalternas o contradictorias. En el segundo ejercicio de razonamiento se determina el

argumento si es deductivo o inductivo.

En el tercer ejercicio se desarrolla de una expresión simbólica, las premisas y se escribe el

argumento en lenguaje natural, después se realiza la tabla de verdad derivando los

componentes lógicos de la expresión del argumento y para demostrar su validez se aplican

las reglas de inferencia.

OBJETIVOS

 Analizar argumentos mediante proposiciones simples, compuestas.

 Analizar proposiciones categóricas describiendo en una tabla sus componentes para

determinar en un esquema si la proposición es contraria o contradictoria.

 Demostrar la validez de un argumento y proposiciones compuestas mediante las tablas

de verdad aplicando sus reglas.

 Determinar el tipo de razonamiento inductivo o deductivo de un argumento.

  Aplicar las reglas de inferencia para demostrar validez de las proposiciones lógicas.

EJERCICIO 1

Para la solución de todos los ejercicios de esta tarea 3 he propuesto en el foro de desarrollar
todos los ejercicios A.

Proposiciones categóricas:

p: Todos los estudiantes ganan la evaluación final de curso

q: Algunos estudiantes no ganan la evaluación final de curso

 Definición de la estructura de la proposición categórica p.

ESTRUCTURA DE LA PROPOSICION CATEGORICA

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

Todos Estudiantes Ganan Evaluacion final

o Determinar el tipo de proposición.

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

ESTRUCTURA DE LA PROPOSICION CATEGORICA

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

Algunos Estudiantes No ganan Evaluación final

o Determinar el tipo de proposición.

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

p
p

De acuerdo al esquema las proposiciones categóricas p y q son contingencias

contradictorias.

EJERCICIO 2

Razonamiento Deductivo e Inductivo

A. La librería a la que frecuentemente va Sofía tiene el último fin de semana de cada mes
promociones; por lo que decide que a partir del próximo mes irá el último fin de
semana a comprar los libros que tanto le gustan, ahorrando así una cantidad
importante de dinero.

PREMISA 1: La librería a la que frecuentemente va Sofía tiene el último fin de semana

de cada mes promociones;

PREMISA 2: por lo que decide que a partir del próximo mes irá el último fin de semana a
comprar los libros que tanto le gustan,

PREMISA 3: ahorrando así una cantidad importante de dinero.

Desarrollo

Argumentación: El razonamiento utilizado es INDUCTIVO, porque, al dividir el texto en 3

premisas las promociones de cada fin de mes que ofrece la librería a la que va Sofia le induce
a comprar un libro mas económico.

EJERCICIO 3

Problemas de aplicación

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

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

Conclusión ¬ p

Desarrollo:

 Proposiciones simples:

p: estudio Psicología en la UNAD

q: logro matricular el tercer semestre

r: cumplo con pasar el tercer semestre

 Razonamiento en lenguaje natural:

[ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →− p
Si estudio Psicología en la UNAD entonces no logro matricular el tercer semestre y Si logro
matricular el tercer semestre o no cumplo con pasar el tercer semestre y Si cumplo con pasar
el tercer semestre entonces, no estudio en la UNAD.

Generar la tabla de verdad manualmente:

TABLA DE VERDAD
p q r ¬ p ¬q ¬r ( p →¬ q ) ( q ∨ ¬r ) ( p →¬ q ) ∧ ( q ∨( p¬r
→¬) q ) ∧ ( q ∨[ (¬r ) ∧rq ) ∧ ( q ∨¬ r ) ∧r ] →−
p →¬

v v v F F F F V F F V
v v f F F V F V F F V
v f v F V F V F F F V
v f f F V V V V V F V
f v v V F F V V V V V
f v f V F V V V V F V
f f v V V F V F F F V
f f f V V V V V V F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD.

 [ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →− p

 Leyes de inferencia:

P1: ( p →¬ q )
P2: ( q ∨ ¬r )
P3: r
Conclusión: ¬ p
( q ∨¬ r )
P4: q =q MTP modo tollendo ponens P2 y P3.
r

( p → ¬q )
P5: ¬ p =− p ¬ p MTT modo tollendo tollens P1 y P4.
q

CONCLUSION
 Cada problema se dio un orden adecuado para su desarrollo, las proposiciones categóricas

se determinó el tipo de proposición para plantearlas en un esquema para definir si es una

proposición contraria, sub-contraria, subalterna o contradictoria, nos podemos enfocar en

cualquier argumento en su lenguaje natural, pero tiene su expresión lógica, la cual nos ayuda

a comprender mejor el argumento.

Aprendemos a comprender mejor los tipos de razonamientos deductivos o inductivos de

un argumento.

Comprendemos los métodos de las tablas de verdad para determinar validez de una

expresión lógica y se realizó la aplicación de las reglas de inferencia para determinar validez

de dicha expresión.

Cada método y operaciones lógicas nos brindan una forma más fácil para la solución de

problemas en cada actividad que realizamos.