PENSAMIENTO LOGICO Y MATEMATICO

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

argumentos

Gustavo Adolfo Rivera Grillo (código:1080933153)

Grupo: 200611_893

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS AGRICOLAS, PECUARIAS Y DEL MEDIO AMBIENTE

Programa de Tecnología en Saneamiento Ambiental

CCVA Pitalito

Abril de 2019
 INTRODUCCIÓN

La lógica matemática vislumbra la rama conocida como la teoría de conjuntos ya que este
maneja las propiedades, construyendo objetivos y estructuras de interés matemáticos como
los números, las funciones y figuras geométricas, los silogismos categóricos, es un
argumento de una secuencia finita de enunciados, para esta actividad demostraremos dichos
problemas en los enunciados, donde daremos veracidad mediante las leyes de inferencia a
cada uno de los problemas y ejecutaremos propiedades para dar solución a la actividad
número tres (3), alimentando más los conocimientos con las tablas de verdad, comprendiendo
las proposiciones simples y compuestas, así tendremos la capacidad de desarrollar todo tipo
de problemas de la lógica matemática.
 OBJETIVOS

Objetivo general

 Estudiar las proposiciones simples y compuestas, proposiciones categóricas y los silogismos

categóricos, el cual su objetivo es dar veracidad a sus procesos por medio de leyes de
inferencia.

Objetivos específicos

 La ejecución de los silogismos categóricos con sus leyes de inferencia los cuales nos ayudan
a dar veracidad por medio de sus premisas y conclusión.
 Practicar las propiedades de la tabla de verdad y su ejecución para dar solución al problema
 Reconocer las operaciones de las proposiciones simples y compuestas al igual que las
proposiciones categóricas.
Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

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

a) p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los
siguientes ítems:
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

Clasificación de p: proposición tipo A

ESTRUCTURA

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

algunos Estudiantes No ganan curso

Clasificación de q: proposición tipo O

De acuerdo a la determinación anterior y teniendo el siguiente esquema

CONTRADICTORIAS
Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:

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

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
Es un razonamiento INDUCTIVO
 Argumentar la respuesta con sus propias palabras.
Dada la respuesta del ejercicio procedemos a decir que, miguel al ver que José no les
pago hace un tiempo a sus amigos y a él, ahora miguel entiende y da su conclusión
que nuevamente él no le va a pagar.
Ejercicio 3: Problemas de aplicación

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:

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

Premisas:
P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)
Conclusión: ¬r
A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples

p: Gustavo estudia Tecnología en saneamiento Ambiental
q: Gustavo acude a laboratorios los sábados
r: Gustavo tiene suscrito el curso de química general
s: Gustavo entrega pre informes e informes

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

[(𝒓 → ¬𝒒) ∧ (𝒑 ∨ 𝒔) ∧ (𝒒 ∧ 𝒑)] →¬r

Gustavo tiene suscrito el curso de química general por lo tanto no acude a laboratorios los
sábados incluso Gustavo estudia Tecnología en Saneamiento Ambiental en todo caso
Gustavo entrega pre informes e informes, sin embargo, Gustavo acude a laboratorios los
sábados y Gustavo estudia Tecnología en Saneamiento Ambiental. entonces Gustavo no
tiene inscrito el curso de química general
 Generar una tabla de verdad con el simulador Lógica UNAD
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico

[(𝒓 → ¬𝒒) ∧ (𝒑 ∨ 𝒔) ∧
p q r s ¬q ¬r (𝐫 → ¬𝐪) (𝐩 ∨ 𝐬) (𝐪 ∧ 𝐩)
(𝒒 ∧ 𝒑)] →¬r
V V V V F F F V V V
V V V F F F F V V V
V V F V F V V V V V
V V F F F V V V V V
V F V V V F V V F V
V F V F V F V V F V
V F F V V V V V F V
V F F F V V V V F V
F V V V F F F V F V
F V V F F F F F F V
F V F V F V V V F V
F V F F F V V F F V
F F V V V F V V F V
F F V F V F V F F V
F F F V V V V V F V
F F F F V V V F F V
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisa 1: (r → ¬q)
Premisa 2: (p ∨ s)
Premisa 3: (q ∧ p)
Conclusión: ¬r
------------------------
Premisa 4: S en P2
A^B pvs
---------- ---------
A P

Premisa 5: S en P3
A^B qvp
---------- ---------
A q

Premisa 6: MTT en P1
A B r ¬q
¬B q
------------- ------------
¬A ¬r
 CONCLUSIONES
Se concluye que mediante la teoría de los silogismos categóricos y sus leyes de inferencia e
equivalencia llegamos a la construcción de la veracidad en los problemas de aplicación,
además retroalimentamos los temas de proposiciones simples y compuestas, proposiciones
categóricas, proposiciones contrarias de contingencia y subcontrarias. Así, en la realización
de esta actividad alimento las definiciones en la ejecución de los temas de la unidad 3, dando
finalidad al desarrollo de esta actividad con definiciones más complejas en la lógica
matemática.
 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=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