CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS

JAIRO FABIAN VICTORIA CADENA

1075244037
200611_74

MIREYA GOMEZ
PENSAMIENTO LOGICO Y MATEMATICO
2019_803

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
2019
 INTRODUCCIÓN

El silogismo es una forma de razonamiento deductivo e inductivo que consta de dos

proposiciones como premisas y otra como conclusión, siendo la última una inferencia
necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles,
ampliamente reconocido como padre fundador de la lógica.
 OBJETIVOS

 Identificar las operaciones algebraicas entre conjuntos

 Realizar la representación en el diagrama de ven Euler de las diferentes operaciones

entre conjuntos
 Identificación de las premisas y la conclusión. Determinar qué clase de premisa se
obtiene y aplicarla correctamente en el diagrama de venn
Ejercicio 1: Proposiciones categóricas

c).

p: Todos los animales son carnívoros

q: Algunos animales son carnívoros

 Establecer su estructura de acuerdo con la siguiente tabla:

p: Todos los animales son carnívoros

ESTRUCTURA

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

Todos Animales son carnívoros

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

Clasificación de p:

 Universal afirmativa (proposiciones-A): Todo S es P. Cuantificador

universal y cualidad afirmativa.
q: Algunos animales son carnívoros

ESTRUCTURA

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

Algunos Animales son carnívoros

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

Clasificación de q:

 Particular afirmativa (proposiciones-I): Algunos S son P. 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.
Requisito para este paso las proposiciones deben tener el mismo término sujeto y
predicado.
Ejercicio 2: Razonamiento Deductivo e Inductivo

a. Los estudiantes de la UNAD utilizan los medios digitales para estudiar, Mariana es
estudiante de Ingeniería Industrial de la UNAD; seguramente utiliza los medios
digitales para desarrollar sus actividades de curso.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.

Respuesta:
 El razonamiento es deductivo.

 Un razonamiento deductivo va de lo general a lo particular, si decimos que todos los

estudiantes de la UNAD utilizan los medios digitales y Mariana es estudiante de la
UNAD, se puede deducir y afirmar que ella usa los medios digitales.
Ejercicio 3: Problemas de aplicación

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

Premisas
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞
Conclusión: r
A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico,
ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

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

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
tomaran las medidas correctivas estipuladas por la UNAD.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

p: Andrés estudia pensamiento lógico

q: pensamiento lógico es la mejor materia

r: Andrés aprobara la mejor materia

[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] → 𝑟

Andrés estudia pensamiento lógico entonces pensamiento lógico es la mejor materia, y

pensamiento lógico es la mejor materia entonces Andrés aprobara la mejor materia. Andrés
estudia pensamiento lógico y pensamiento lógico es la mejor materia. Entonces Andrés
aprobara la mejor materia
Demostración por leyes de inferencia:

P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞
Conclusión: r

_______________________________

P4: 𝑝 → 𝑟 Silogismo Hipotético: 1,2

P5: 𝑝 Simplificación: 3

P6: 𝑟 Modus Ponens: 4, 5 (Conclusión)

Luego de aplicar las reglas de inferencia podemos decir que el razonamiento es válido;
porque entre las premisas generadas se establece una relación coherente para llegar a la
conclusión.
 CONCLUSIONES

Podemos entender el silogismo como una forma de razonamiento deductivo, gracias a las
premisas que se manejan en él y los términos de deducción, nos explica cómo hay que
utilizarlos y de cómo seguir una serie de pasos para su mayor entendimiento y poder dar la
veracidad de la conclusión
 REFERENCIAS

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

Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069