Ejercicio 1: Proposiciones categóricas

A).

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

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

Todos Estudiantes Ganan la evaluación final curso

 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 Cúpula Término Predicado

Algunos Estudiantes no ganan la evaluación Curso

final

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

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.

 p
p

De acuerdo con el esquema propuesto p y q son 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.

 Identificar si el razonamiento es deductivo o inductivo.

El Razonamiento es Inductivo

 Argumentar la respuesta con sus propias palabras:

El razonamiento de Sofia es inductivo; parte que al estar la librería en descuento los

fines de semana de cada mes, ella acudirá en esas fechas para así ahorrar dinero en
compra de libros. Parte de lo particular a lo general.

Ejercicio 3: Problemas de aplicación

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

Premisas:
P1: p →¬ q
P2:q ∨ ¬r
P3:r
Conclusión: ¬ p

 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

P= Estudio
q= Juego al fútbol
r= Apruebo el curso

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Si estudio entonces no juego al fútbol, o juego al fútbol y no apruebo el

curso, o apruebo el curso, entonces no estudio.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
p q r ((p→~q)∧(q∨~r)∧r)→~p
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

(p (q (qv [(p→¬q)
¬ ¬¬
pqr → v¬ ¬r)^ ^(qv¬r)^r [(p→¬q)^(q
qr p
¬q) r) r] ] v¬r)^r]→¬p
vvv f f f f v v f v
vvf f v f f v f f v
vf v v f f v f f f v
vf f v v f v v f f v
f vv f f v v v v v v
f vf f v v v v f f v
f f vv f v v f f f v
fffv f v v f f f v
Tautología
  Demostración de la validez del argumento mediante las leyes de la inferencia
lógica

Premisas:
P1: p →¬ q
P2:q ∨ ¬r
P3:r
Conclusión: ¬ p

P4: ¬p MTT (V2) P1,P3