Ejercicio 1: Proposiciones categóricas

Se escoge para el desarrollo de los ejercicios posteriores el ejercicio “A”.

Descripción del ejercicio

a).
p: Todos los estudiantes ganan el curso
q: Algunos estudiantes no ganan el curso

A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los siguientes ítems:

• Establecer su estructura de acuerdo con la siguiente tabla:

p: Todos los estudiantes ganan el curso

ESTRUCTURA

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

TODOS ESTUDIANTES GANAN CURSO

q: Algunos estudiantes no ganan el curso

ESTRUCTURA

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

ALGUNOS ESTUDIANTES NO GANAN CURSO

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

p: Todos los estudiantes ganan el curso

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

UNIVERSAL AFIRMATIVA. CUANTIFICADOR UNIVERSAL Y CUALIDAD AFIRMATIVA

q: Algunos estudiantes no ganan el curso

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

PARTICULAR NEGATIVA. CUANTIFICADOR PARTICULAR Y CUALIDAD NEGATIVA

• De acuerdo a la determinación anterior y teniendo el siguiente esquema, establezca si las proposiciones son
contrarias, de contingencia o subcontrarias. Requisito para este paso las proposiciones deben tener el mismo término
sujeto y predicado.

De acuerdo al esquema propuesto, las proposiciones “p” y “q” son CONTRADICTORIAS.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

a. Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a José, él no les pagó; ahora
nuevamente José le pide a Miguel que le haga un préstamo, inmediatamente Miguel asume que no le va pagar ese
dinero.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

• Identificar si el razonamiento es deductivo o inductivo.

El razonamiento utilizado es INDUCTIVO

• Argumentar la respuesta con sus propias palabras.

Como se dijo anteriormente, el razonamiento es inductivo, ya que no hay 100% de certeza de que José no le pague a
Miguel, tomando como referencia que la vez pasada no les pagó a Juan, Miguel y Alejandro, por lo tanto, Miguel tiende
a inducir que no le van a pagar, pero no lo puede deducir a ciencia cierta.
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

a. Expresión simbólica: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

Premisas:

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

Conclusión: ¬r

A partir de la expresión simbólica seleccionada, el estudiante deberá:

• 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, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

p: Juan es estudiante de la UNAD

q: Juan es estudiante de Ingeniería en Sistemas
r: Juan es el estudiante de mejor promedio en su facultad
s: Juan es becado cada semestre

• Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples
deben ser de autoría de cada estudiante, por lo que de encontrar proposiciones iguales entre estudiantes se considerara
como copia y se tomaran las medidas correctivas estipuladas por la UNAD.

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

SI Juan es el estudiante de mejor promedio en su facultad, ENTONCES Juan NO es estudiante de Ingeniería en Sistemas
y, Juan es estudiante de la UNAD o es becado cada semestre y, Juan es estudiante de Ingeniería en Sistemas y es
estudiante de la UNAD, entonces, Juan no es el estudiante de mejor promedio en su facultad.

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El estudiante
encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así
como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo
manual).

p q r s ∼q (r→∼q) (p∨s) (q∧p) [(r→∼q)∧(p∨s)∧(q∧p)] ∼r [(r→∼q)∧(p∨s)∧(q∧p)]→∼r

V V V V F F V V F F V
V V V F F F V V F F V
V V F V F V V V V V V
V V F F F V V V V V V
V F V V V V V F F F V
V F V F V V V F F F V
V F F V V V V F F V V
V F F F V V V F F V V
F V V V F F V F F F V
F V V F F F F F F F V
F V F V F V V F F V V
F V F F F V F F F V V
F F V V V V V F F F V
F F V F V V F F F F V
F F F V V V V F F V V
F F F F V V F F F V V
El resultado de la tabla de verdad: TAUTOLOGÍA

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

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬r

(𝑟 → ¬𝑞)
(𝑝 ∨ 𝑠)
(𝑞 ∧ 𝑝)
---------------
¬r

1. (𝑞 ∧ 𝑝) Hipótesis
2. 𝑞 Simplificación usando paso 1
3. (𝑟 → ¬𝑞) Hipótesis
4. ¬𝑟 Modus Tollens usando pasos 2 y 3