1

p: Todos los animales son carnívoros

q: Algunos animales son carnívoros

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

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

Predicado

Todos Animales Son Carnívoros

 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 Animales son Carnívoros

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

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

Particular afirmativa. Cuantificador particular y cualidad

afirmativa.

 Establecer si las proposiciones son contrarias, de contingencia o

subcontrarias.
 p
p

De acuerdo al esquema propuesta p y q son subalternas.

2
Los estudiantes de la UNAD utilizan los medios digitales para
estudiar, Mariana es estudiante de Ingeniería Industrial de la
UNAD; seguramente utiliza los medios digitales para desarrollar
sus actividades de curso.

Desarrollo

Argumentación: El razonamiento utilizado es el deductivo, porque parte

de hechos más generales a hechos menos generales.

3
Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] → 𝑟

Premisas
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
 P3: 𝑝 ∧ 𝑞

Conclusión: 𝑟

Desarrollo:

 Proposiciones simples:

p: presento las tareas a tiempo

q: aprendo las leyes de la lógica

r: aprendo a argumentar

 Razonamiento en lenguaje natural:

Si presento las tareas a tiempo, entonces aprendo las leyes de la lógica.

Si aprendo las leyes de la lógica, entonces aprendo a argumentar.
Presento las tareas a tiempo y aprendo las leyes de la lógica. Por lo tanto,
aprendo a argumentar.
𝑝 𝑞 𝑟 (𝑝 → 𝑞) (𝑞 → 𝑟) (𝑝 ∧ 𝑞) (𝑝 → 𝑞) [(𝑝 → 𝑞)
∧ (𝑞 → 𝑟) ∧ (𝑞 → 𝑟)
∧ (𝑝 ∧ 𝑞) ∧ (𝑝 ∧ 𝑞) ]
→𝑟
V V V V V V V V
V V F V F V F V
V F V F V F F V
V F F F V F F V
F V V V V F F V
F V F V F F F V
F F V V V F F V
F F F V V F F V

Es una TAUTOLOGÍA.

Leyes de inferencia:

Premisas
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞

Conclusión: 𝑟

P4: 𝑞 (Simplificación (3))

P5: 𝑟 (Modus Ponendo Ponens (2) y (4))