UNIDAD 3 - PROPOSICIONES CATEGÓRICAS Y RAZONAMIENTOS LÓGICOS.

CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA PROBAR VALIDEZ DE

ARGUMENTOS

PRESENTADO POR:

Carolina Rodríguez Chinchilla

200611_765

PRESENTADO A:

Bairon Ospina Trespalacios

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES – ECSAH

PROGRAMA DE PSICOLOGÍA

LOGICA MATEMATICA

2018
INTRODUCCION

En este documento se dará a conocer las proposiciones categóricas, cuales son los tipos de

proposiciones que existen como lo son:

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

afirmativa.

 Universal negativa (proposiciones-E): Ningún S es P o Todo S no es P. Cuantificador

universal negativo o Cuantificador universal y cualidad negativa.

 Particular afirmativa (proposiciones-I): Algunos S son P. Cuantificador particular y

cualidad afirmativa.

 Particular negativa (proposiciones-O): Algunos S no son P. Cuantificador particular y

cualidad negativa.

Conocerás también si las proposiciones son de tipo son contrarias, de contingencia o

subcontrarias.

Se mostrara el Razonamiento Deductivo e Inductivo y las leyes de la inferencia lógica.

OBJETIVO

 Conocer las proposiciones categóricas y saber qué clase de proposiciones existen

 Apropiarnos del Simulador TRUTH, para poder conocer qué clase de expresión es la

tabla de la verdad

 Conocer las leyes de la inferencia lógica

 Apropiarnos del razonamiento inductivo y deductivo

EJERCICIO 1: PROPOSICIONES CATEGÓRICAS

Proposiciones categóricas:
p: Todos los lunes llueve en Bogotá.
q: Todos los lunes no llueve en Bogotá.

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

Todos lunes Llueve Bogotá

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

Universal afirmativa. Cuantificador universal y cualidad afirmativa.

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

todos lunes no llueve Bogotá

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

Universal negativa. Cuantificador universal negativo o Cuantificador universal y cualidad
negativa.

P q

De acuerdo al esquema propuesta p y q son contrarias.

EJERCICIO 2: RAZONAMIENTO DEDUCTIVO E INDUCTIVO
Newton en sus observaciones notó que una manzana cae verticalmente hacia la Tierra en una
trayectoria rectilínea, mientras que la Luna describe una órbita casi circular, que es una
trayectoria cerrada también está cayendo, la diferencia es que la Luna tiene un movimiento de
caída permanente, mientras que la manzana choca con la superficie de la Tierra. Una misma
causa produce, por tanto, estos dos movimientos, la aceleración debido a la gravedad.

A partir de estas experiencias Newton pudo enunciar la Ley de Gravitación Universal, a partir de
la cual unificó las causas de los movimientos que ocurren en la superficie exterior y en la
superficie de la tierra.

Desarrollo

Argumentación: El razonamiento utilizado es el inductivo, Newton usó sus observaciones de los

movimientos planetarios y de las manzanas que caían del árbol de su casa e indujo que había una
fuerza responsable de la manera en que ciertas cosas funcionaban. La realización de pruebas que
más adelante brinden evidencias acerca de verdad o falsedad del supuesto.

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

Expresión simbólica:

d. Expresión simbólica: [(𝒑→𝒒) ∧ (𝒓→𝒔) ∧ (𝒑∧𝒕)] → 𝒒

Premisas:
P1: 𝒑→𝒒
P2:(𝒓→𝒔)
P3: 𝒑∧𝒕

Conclusión 𝒒

Desarrollo:

Premisas simples:

p: si hace frio esta mañana

q: va a llover

r: si salgo

s: me mojo

t: me quedo en casa

Razonamiento en lenguaje natural:

 Si hace frio esta mañana entonces va a llover y si salgo entonces me mojo y si hace frio esta
mañana y me quedo en la casa entonces pierdo clases

Tabla de la verdad:

P q r s t p→q r→s p^t p→q^r→s (p→q^r→s)^p^t (p→q^r→s)^(p^t)→q

v v v v v v v v v v v
v v v v f v v f v f v
v v v f v v f v f f v
v v v f f v f f f f v
v v f v v v v v v v v
v v f v f v v f v f v
v v f f v v v v v f v
v v f f f v v f v f v
v f v v v f v v f f v
v f v v f f v f f f v
v f v f v f f v f f v
v f v f f f f f f f v
v f f v v f v v f f v
v f f v f f v f f f v
v f f f v f v v f f v
v f f f f f v f f f v
f v v v v v v f v f v
f v v v f v v f v f v
f v v f v v f f f f v
f v v f f v f f f f v
f v f v v v v f v f v
f v f v f v v f v f v
f v f f v v v f v f v
f v f f f v v f v f v
f f v v v v v f v f v
f f v v f v v f v f v
f f v f v v f f f f v
f f v f f v f f f f v
f f f v v v v f v f v
f f f v f v v f v f v
f f f f v v v f v f v
f f f f f v v f v f v
Simulador truth table:

Truth Table

  p     q     r     s     t    (p→q)Λ(r→s)Λ(pΛt)→q 

  T     T     T     T     T   T

T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
 F F F T T T
F F F T F T
F F F F T T
F F F F F T

Expresión es una Tautología

leyes de la inferencia lógica

Premisas:
P1: 𝒑→𝒒
P2:(𝒓→𝒔)
P3: 𝒑∧𝒕

Conclusión 𝒒

P4: p Ley de Modus Ponendo Ponens (MPP) p1

P5: r Ley de Modus Ponendo Ponens (MPP) p2
P6: s Ley de Modus Ponendo Ponens (MPP) p2
P7: t Ley de Simplificación (S) en P3
P8: q Ley de Modus Ponendo Ponens (MPP) p1

Con la P8 por medio de las leyes de inferencia lógica, podemos concluir que q es correcta
CONCLUSION

Por medio de este trabajo pude dar a conocer la importancia que tiene el conocer las

proposiciones categóricas, los tipo que existen, el razonamiento deductivo e inductivo, las leyes

de la inferencia lógica, para poder colocarlo en práctica en la vida diaria.

REFERENCIAS

[CITATION Arr15 \p "61-65/ 80-84" \l 9226 ]

[CITATION Car10 \p 78-99 \l 9226 ]