PROPOSICIONES CATEGÓRICAS Y RAZONAMIENTOS LÓGICOS

SILVIA PAOLA OJEDA RODRIGUEZ

PRESENTADO A:

PAULO ANDRES VELEZ

GRUPO:

200611_164

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA INDUSTRIAL

2019
 INTRODUCCIÓN

Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a
partir de un conjunto de premisas.

En el siguiente trabajo se pueden evidenciar una serie de conceptos y temáticas que se han
estudiado en el transcurso del curso de pensamiento lógico y matemático, entre las cuales se
aplica la transición del lenguaje natural al lenguaje simbólico, el razonamiento deductivo e
inductivo y problemas de aplicación.
 OBJETIVOS

OBJETIVO GENERAL

 Fortalecer los conceptos y aplicarlos en los ejercicios de lógica matemática.

OBJETIVOS ESPECIFICOS

 Dar uso a las tablas de verdad.

 Demostrar la validez o no validez de problemas por medio de las leyes de inferencia lógica.
 1.

p: Todos los abogados son muy profesionales

q: Algunos abogados no son muy profesionales

 Definición de la estructura de la proposición categórica

Cuantificador Término sujeto Cualidad o Cúpula Término

Predicado

Todos Abogados Son Muy profesionales

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 Abogados No son Muy profesionales

Clasificación de q: proposición tipo O→ Particular negativa. Cuantificador particular y cualidad

negativa.

Todos los
abogados
son muy
profesionales

Algunos
abogados no
son muy
profesionales

De acuerdo al esquema p y q son contradictorias.

 2. Ejercicio razonamiento deductivo e inductivo.

Los estudiantes de las universidades que son a Distancia, utilizan los medios informáticos para
estudiar, Claudia es estudiante de Pensamiento Lógico Matemático de la UNAD. Claudia muy
seguramente utiliza los medios informáticos para estudiar.

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar las respuestas con sus propias palabras.

El razonamiento es deductivo, ya que va de lo general a lo particular y por lo tanto del hecho que
los estudiantes estudian a distancia usan los medios informáticos, se puede deducir que Claudia
también lo hace.

3. Ejercicio de aplicación.

Expresión simbólica: [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)

Premisas:

P1: (𝑝 ⟶ 𝑞)

P2: (∼ 𝑟 ⟶ 𝑠)

P3: (𝑝 ∨∼ 𝑟)

Conclusión: (𝑞 ∨ 𝑠)

 Definir las proposiciones simples:

p: Nicolás estudia ingeniería

q: Participa en los foros

r: Presenta las actividades

s: Pierde el semestre

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

Nicolás estudia ingeniería por lo tanto participa en los foros pero no sucede que presenta las
actividades en consecuencia pierde el semestre

A la vez Nicolás estudia ingeniería o no participa en los foros entonces presenta las actividades o
pierde el semestre.

 Generar una tabla de verdad con el simulador lógico de la UNAD a partir del lenguaje
simbólico.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

Tautología
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
P1: (p→q)
P2: ( ~r→s)
P3: (pV~r)
P4: q v s Se aplica ley de dilema constructivo a la P1, P2 y P3.
Conclusión: (qVs)
 CONCLUSION

 Se reforzaron los conocimientos adquiridos en la unidad al dar uso de las formas básicas
de las tablas de verdad, los principios de lógica y los razonamientos lógicos para demostrar
la validez o no validez de las situaciones.
 BIBLIOGRAFIA

 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=456
9631&tm=1529336365580
 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.action?ppg=81&docID=319
9701&tm=1529336485971
 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=456
9631&tm=1529513879802