PENSAMIENTO LÓGICO MATEMÁTICO

UNIDAD 3

Clasificación de proposiciones categóricas y métodos para probar validez de argumentos

Entregado por:

Yenny Carolina Rojas Cifuentes

Grupo 200611_1362

Entregado para:

Tutor German Cristancho

Universidad Nacional Abierta y Distancia

Programa de Psicología

Ibagué 21 nov 2019

Ejercicios

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

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

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

Cuantificador
Todos estudiantes ganan Evaluación final

Tipo de proposición “A “_Cuantificador universal y cualidad afirmativa

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

Cuantificador
Algunos Estudiantes No ganan Evaluación final

Tipo de proposición “O ”_Cuantificador particular y cualidad negativa

P y q son contradictorias
2 Ejercicio

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.

Desarrollo : el razonamiento utilizado es inductivo ya que a partir de que la promoción es

el último fin de semana de cada mes , Sofía ahorra dinero en la compra de libros en la
librería que más frecuenta

3 EJERCICIO

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

Premisas:
P1: 𝑝→¬𝑞
P2: 𝑞∨¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

P1: GANO LA MATERIA DE BIOLOGIA

P2: GANO LA MATERIA DE MATEMATICAS
P3: HAGO LA PRACTICA
Conclusión: PASO SEMESTRE
P Q R -r -p (𝑝→¬𝑞) (𝑞∨¬𝑟 [(𝑝→¬𝑞)∧(𝑞∨¬𝑟)∧𝑟] →¬𝑝 [(𝑝→¬𝑞)∧(𝑞∨¬𝑟)∧𝑟]
→¬𝑝

v v v f v v v v v v
v v f f f v v f f v
v f v f v v f v v v
v f f f f v f f f v
f v v v v f v v v v
f v f v f f v f f v
f f v v v f f v v v
f f f v f f f f f v

Resultado final tautologia

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

P1: 𝑝→¬𝑞
P2: 𝑞∨¬𝑟
Conclusión: ¬𝑝

P3: ¬𝑝