PENSAMIENTO LOGICO Y MATEMATICO

GRUPO: 200611_182

Tarea 3: Clasificación de proposiciones categóricas

y métodos para probar validez de argumentos.

Presentado al tutor(a):

Sandra Johana Domínguez.

Entregado por el (la) estudiante:

Mileidy Nataly Ramos Ortiz

Código: 1121396483

V
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA

ABRIL 2020

í ACACIAS META.
 INTRODUCCION.

El siguiente trabajo pretende dar la solución a los ejercicios propuestos en la

Unidad 3-Tarea 3 Clasificación de proposiciones categóricas y Métodos para probar validez

de argumentos del curso Pensamiento Lógico Matemático, donde se pretende fortalecer el

nivel de conocimiento de aprendizaje. Por medio de ejercicios prácticos y teóricos

conoceremos los temas, proposiciones simples y compuestas, proposiciones categóricas

proposiciones contrarias de contingencia y subcontrarias. Tablas de verdad métodos de

demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos,

cuantificadores que a través de ellos comprenderemos los conceptos fundamentales de la

lógica proporcional y lo aplicaremos para la resolución de problemas.

 OBJETIVOS.
GENERAL

Aprender temas tratados con la unidad 3 Clasificación de proposiciones categóricas y

Métodos para probar validez de argumentos. A través del desarrollo de algunos ejercicios.

Fortalecer mi nivel de conocimiento sobre Proposiciones simples y compuestas,

proposiciones categóricas, proposiciones contrarias de contingencia y subcontrarias. Tablas

de verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y

argumentos lógicos.

ESPECÍFICOS

 Aprender y conocer la importancia de la lógica proposicional, y su uso ante

situaciones comunes diarias

 Conocer los elementos de la lógica proposicional, y desarrollar los ejercicios

planteados de la guía.

 Desarrollar el contenido de la guía y comparar sus resultados con el simulador

practico lógica UNAD

 Reconocer los conceptos de tautologías, contradicciones y contingencias.

Desarrollo Tarea 3 - Clasificación de proposiciones categóricas y Métodos
para probar validez de argumentos

Ejercicios letra C

Ejercicio 1: Proposiciones categóricas

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 61-65.)

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1:

c).

p: Todos los congresistas son corruptos

q: Algunos congresistas no son corruptos

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

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

Todos Congresistas son corruptos

 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 Congresistas no son corruptos

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

Clasificación de q: Proposición tipo “O”.

Particular negativa. Cuantificador particular y cualidad negativa.

 Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.

 p
p

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Ejercicio 2: Razonamiento Deductivo e Inductivo

C. Todos los atletas de alto rendimiento son especialmente cuidadosos con su alimentación.

Pedro, Miguel y Tomás han ingresado a un equipo profesional de fútbol que competirá por

el título de la liga de su país, por lo tanto, ellos cuidarán su alimentación.

Desarrollo

Argumentación: El razonamiento utilizado es el deductivo, parte de varias premisas para

llegar a la conclusión cuidarán su alimentación.

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 3:

Expresión simbólica:

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

Premisas

P1: (q → r )

P2: (r → p)

P3: ( ¬ p ∧ s )

Conclusión: (¬ q ∧ s)
d

Desarrollo:

 Proposiciones simples: (se define cada proposición simple del argumento, siempre

en afirmativo y con letras en minúscula).

p: estudia pensamiento lógico

q: estudia cálculo integral

r: estudia fundamentos de administración

s: es estudiante de psicología

 Razonamiento en lenguaje natural:

Proposiciones simples

P: Los estudiantes de lógica matemática asistieron a la web conferencia

Q: Los estudiantes de lógica matemática presentaron la actividad debidamente

R: Los estudiantes de lógica matemática leyeron la guía de actividades

S: Los estudiantes de lógica matemática obtuvieron la calificación

Máxima

Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

P1: (q→r) Los estudiantes de lógica matemática asistieron a la web conferencia,

entonces presentaron la actividad debidamente.

P2:(r→p) Los estudiantes de lógica matemática presentaron la actividad debidamente, por

lo tanto, leyeron la guía de actividades.

P3: (¬p∧s) Los estudiantes de lógica matemática no leyeron la guía de actividades, pero

obtuvieron la máxima calificación.

Conclusión: (¬q∧s) Los estudiantes de lógica matemática no asistieron a la web

conferencia, pero obtuvieron la máxima calificación.

Lenguaje natural

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

Si los estudiantes de lógica matemática asistieron a la web conferencia,

entonces presentaron la actividad debidamente. Los estudiantes de lógica matemática

presentaron la actividad debidamente, por lo tanto, leyeron la guía de actividades. Pero los

estudiantes de lógica matemática no leyeron la guía de actividades sin embargo obtuvieron

la máxima calificación. Por lo tanto, los estudiantes no asistieron a la web conferencia, sin

embargo obtuvieron la máxima calificación.

 Generar la tabla de verdad manualmente:

 Resultado de la tabla de verdad: TAUTOLOGÍA
 Generar la tabla de verdad con el simulador Lógica UNAD
Leyes de inferencia:

Demostración de la validez del argumento

[(q→r) ∧ (r→p) ∧ (¬p∧s)]→ (¬q∧s)]

P1: (q→r)

P2: (r→p)

P3: (¬p∧s)

P4: ¬ q MTT En P1 

q→r

¬ r 

¬ q

P5: S, Simplifico P3
Adjunción de P4 y P5: (¬q∧ s)

Entonces:

 P1: (q→r)

 P2: (r→p)

P3: (¬p∧  s)

Conclusión: ¬q∧ s
 REFERENCIAS BIBLIOGRAFICAS.

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://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4569631&ppg=72

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://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4569631&ppg=91

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=81
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869
  
Castaño, C. (2019). Leyes de la inferencia. Recuperado
de: https://repository.unad.edu.co/handle/10596/31590
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3194062&ppg=14
 CONCLUCIONES

Con el desarrollo de este trabajo se logró cumplir con los objetivos antes

mencionados, igualmente nos distribuyó en fortalecer y aprender conceptos básicos y

prácticos de la unidad de estudio, así mismo, el simulador de la UNAD nos aportó

facilidades para la verificación de los ejercicios de la tabla de verdad resolviendo los

ejercicios me permitió practicar para poder analizar e interpretar a futuro temas desde

Pensamiento Lógico Matemático.