Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático

Tarea 3

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

Tutor: José Carlos Bermejo

Yenilfe Adriana Ramírez

Grupo: 200611_475

Abril, 2019
 Introducción
En el siguiente trabajo se conoce las temáticas de la unidad 3 Clasificación de proposiciones
categóricas y Métodos para probar validez de argumentos, conllevado esto podemos
obtener mejor conocimiento sobre proporciones y argumentos de validez y así llegar a
colocarla en práctica en nuestra vida.

Por otra parte, e conceptos y temáticas desarrolladas a lo largo del curso del pensamiento
lógico matemático, entre las que se aplica la transición del lenguaje natural al lenguaje
simbólico, la identificación de las premisas simples, la elaboración de las tablas de verdad,
el uso de software simulador.
 Objetivos

General: fortalecer los conocimientos sobre Clasificación de proposiciones categóricas y

Métodos para probar validez de argumento
Específicos:
1. Usar las formas básicas de la tabla de la verdad
2. Demostrar el razonamiento deductivo e inductivo de acuerdo al ejercicio
3. Realizar un ejercicio de problemas de aplicación mediante la expresión simbólica,
determinación de premisas y proporciones simplex
 Ejercicio 1: Proposiciones categóricas

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

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

Todos Estudiantes Ganan curso

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

 Clasificación de p: Proposición tipo “A”.
 Universal afirmativa. Cuantificador universal y cualidad afirmativa.

 Establecer su estructura de acuerdo con la siguiente tabla:

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).

 Clasificación de q: Proposición tipo “O”.
 Particular afirmativa Cuantificador particular y cualidad afirmativa.
  De acuerdo a la determinación anterior y teniendo el siguiente esquema,
establezca si las proposiciones son contrarias, de contingencia o subcontrarias.

p
p

q
p

 Teniendo en cuenta el siguiente esquema, se establece que las proposiciones p y q

son contradictorias

Ejercicio 2: Razonamiento Deductivo e Inductivo

a. Argumento: 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.

Argumentación: El razonamiento utilizado es el Inductivo, ya que miguel asume que José

no le va a pagar el préstamo, como anteriormente él no les pago el dinero prestado.
Ejercicio 3: Problemas de aplicación

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

Premisas

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

Conclusión: ¬r
Desarrollo: Proposiciones simples:
Solución:
p: ir en carro
q: aumentar la velocidad a mi carro
r: llegar temprano a la unad
s: pierdo el examen
Si llego temprano a la unad entones no aumento la velocidad a mi carro, voy en
carro o pierdo el examen, aumento la velocidad y voy en carro.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
p q r s [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

v v v v v

v v v f v

v v f v v

v v f f v

v f v v v

v f v f v

v f f v v

v f f f v

f v v v v
 f v v f v

f v f v v

f v f f v

f f v v v

f f v f v

f f f v v

f f f f v

b. generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual
 (𝒑 ∨ 𝒔) (𝑞 ∧ 𝑝) ¬𝑟 [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r
r q p ¬𝒒 (𝒓 → ¬𝒒)
S
Resultado de la tabla
v v v v f f v v f f
de verdad:
v v v f f f v v f f Tautología
v v f v f f v f f v
v v f f f f f f f v
v f v v v v v f f f
v f v f v v v f f f
v f f v v v v f f f
v f f f v v f f f f
f v v v f f v v v f
f v v f f f v v v f
f v f v f f v f v v
f v f f f f f f v v
f f v v v f v f v v
f f v f v f v f v v
f f f v v f v f v v
f f f f v f f f v v
 Demostración de la validez del argumento mediante las leyes de la inferencia
lógica

 P1: 𝑟 → ¬𝑞
Simplificación Simplificación
 P2: 𝑝 ∨ 𝑠 𝑃1: 𝑟 → ¬𝑞 𝑃1: 𝑟 → ¬𝑞
 P3: q Λ p 𝑄: ¬𝑞 𝑄: 𝑟
 Conclusión
Reforzamos los conocimientos adquiridos en la guía 3 Clasificación de proposiciones
categóricas y Métodos para probar validez de argumento. Dando solución a cada
actividad.
De igual forma obtenemos conocimientos para nuestra vida profesional poniendo en
práctica cada método.
 Bibliografía

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de:
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=
4569631&tm=1529336365580
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=91&docID=
4569631&tm=1529513879802

 (https://youtu.be/_V-cgGB2Pbc)