Tarea 3

Clasificación de proposiciones categóricas y

Métodos para probar validez de argumentos

Presentado por:
Carlos Alberto Marín

Presentado a:

Universidad Nacional Abierta y a Distancia UNAD

Programa Artes Visuales
Pensamiento Lógico y Matemático
 Bogotá,
abril de 2018

Introducción

En el siguiente trabajo se aplican los conceptos y temáticas

desarrolladas en la unidad 3 del curso de pensamiento lógico y
matemático, 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 como el Truth Table. La
demostración de la validez o no validez de un planteamiento por medio
de las leyes de inferencia y las formas de razonamiento (inductivo y
deductivo) para proponer una formalización y resolución a las
situaciones problémicas.
 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:

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

r Predicado

Todos Estudiantes Ganan El curso

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

Proposición - A​: Universal afirmativa. Cuantificador universal y

cualidad afirmativa.
Cuantificado Término Sujeto Cualidad o Cúpula Término
r Predicado

Todos Estudiantes No ganan El curso

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

Proposición - O​: Particular negativa. Cuantificador particular y

cualidad negativa.

● Establezca si las proposiciones son contrarias, de contingencia

o subcontrarias.

De acuerdo al esquema propuesta p y q son ​contradictorias​.

 Ejercicio 2: Razonamiento Deductivo e Inductivo
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.

● Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es ​inductivo ya que las premisas apoyan la conclusión,

pero no de manera absoluta.
 Ejercicio 3: Problemas de aplicación
Expresión simbólica:

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

Premisas:

P1:​ (r → ¬q)
P2: ​(p ​∨​ s)
P3:​ (q ​∧​ p)
Conclusión:​ ¬r
 ● Definir las proposiciones simples:

p: estudio
q: gano el curso
r: pierdo el examen
s: veo netflix

● Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si​ pierdo el examen ​entonces​ ​no​ gano el curso​.​ Estudio​ o ​veo​ ​Netflix.
Gano el curso ​y​ estudio. ​Por lo tanto,​ ​no​ pierdo el examen.

● Generar una tabla de verdad con el simulador Lógica UNAD a

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

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

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

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

Resultado de la tabla de verdad: ​TAUTOLOGÍA

 ● Demostrar de la validez del argumento mediante las leyes de la
inferencia lógica

MPP – Modo Ponendo Ponens: si una premisa cualquiera es igual al

antecedente de la condicional resulta el mismo consecuente.
Afirmando afirmo.
 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.a
ction?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.a
ction?ppg=91&docID=4569631&tm=1529513879802
● Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom,
Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.a
ction?ppg=81&docID=3199701&tm=1529336485971