Clasificación de proposiciones categóricas y Métodos para probar validez de argumentos

Unidad 3

Sonia Dorayi Escobar Girón Cód.:200611 Grupo 545

Noviembre de 2018

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Pensamiento Lógico y Matemático

Introducción
Aristóteles fue el primero en estudiar las formas de la argumentación; a él se le atribuye la
invención de la lógica como ciencia. La forma de argumentación que él identificó y sistematizó
usaba enunciado sujeto-predicado en un silogismo (dos premisas y una conclusión). Debido a
que esta fue la forma de lógica que, por propósitos prácticos, se usó hasta el siglo XIX, se conoce
como lógica tradicional. Porque fue trabajada primero por Aristóteles, se le conoce como lógica
aristotélica. Finalmente, porque trata de los enunciados categóricos en forma silogística, se le
conoce como la lógica de los silogismos categóricos.
 
Las Proposiciones categóricas son afirmaciones acerca de categorías o clases, podemos encontrar
4 clases de proposiciones categóricas, las cuales son: Universal afirmativa: Todo S es
P, Universal negativa: Ningún S es P, Particular afirmativa: Algún S es P, Particular
negativa: Algún S no es P.
Para determinar si los argumentos son o no lógicos, se determina si éste coincide con una ley de
implicación, esto debido a que todo raciocinio que tenga la forma de una de las leyes
establecidas será tomado como un argumento válido, y todo aquel que no coincida con éstos no
lo será.
Objetivos
 Reconocer las cuatro clases de proposiciones categóricas en los diferentes ejercicios
planteados.
 Manejar la tabla de la verdad y las leyes de la inferencia lógica, y determinar mediante el
empleo de ambos la validez del ejercicio planteado.
 Manejar la estructura: Cuantificador Término Sujeto Cualidad o Cúpula Término
Predicado, de la proposición planteada.
Ejercicio número 1
A continuación, encontrará las proposiciones categóricas para el desarrollo
del ejercicio 1:
A
p: Algunos estudiantes de lógica son mayores que los de catedra.
q: Todos los estudiantes de lógica son mayores que los de catedra.

A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los siguientes
ítems:
1. Establecer su estructura de acuerdo con la siguiente tabla: ESTRUCTURA Cuantificador Término
Sujeto Cualidad o Cúpula Término Predicado

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

- Universal afirmativa (proposiciones-A): Todo S es P. Cuantificador universal y cualidad
afirmativa.
-Universal negativa (proposiciones-E): Ningún S es P o Todo S no es P. Cuantificador
universal negativo o Cuantificador universal y cualidad negativa.
- Particular afirmativa (proposiciones-I): Algunos S son P. Cuantificador particular y
cualidad afirmativa.
- Particular negativa (proposiciones-O): Algunos S no son P. Cuantificador particular y
cualidad negativa.
3. 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.
 SOLUCIÓN

1. ESTRUCTURA Cuantificador Término Sujeto Cualidad o Cúpula Término

Predicado.
CUANTIFICADO SUJETO CUALIDAD PREDICADO
R
p Algunos Estudiantes Son Mayores que los
de catedra
q Todos Estudiantes Son Mayores que los
de catedra

2. Tipo de preposición:

p: Universal afirmativa (proposiciones-A): Todo S es P. Cuantificador universal y

cualidad afirmativa.

q: Particular afirmativa (proposiciones-I): Algunos S son P. Cuantificador particular y

cualidad afirmativa.

3. Esquema:

q y p son subalternas

q Contrario

dictoria
Contra

Subalterno Subalterno
Contra
A dictoria B

Subcontrario
I p O
Ejercicio número 2
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:
A. Según las instrucciones del recetario los cupcakes se deben hornear durante una hora. El
pastelero Juan introduce al horno los cupcakes a las diez de la mañana, por lo tanto, los
cupcakes estarán listos a las once de la mañana.

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

Solución
1. El razonamiento que corresponde a este ejercicio es: Razonamiento deductivo.

B. Este ejercicio corresponde al razonamiento deductivo, ya que en éste se parte de un

enunciado general: Según las instrucciones del recetario los cupcakes se deben
hornear durante una hora, hasta llegar al enunciado particular: Juan introduce al
horno los cupcakes a las diez de la mañana, por lo tanto, los cupcakes estarán listos
a las once de la mañana.

Por otra parte, en este ejercicio se puede observar las siguientes premisas verdaderas:

P 1: Según las instrucciones del recetario los cupcakes se deben hornear durante una
hora.
P2: El pastelero Juan introduce al horno los cupcakes a las diez de la mañana.
Conclusión: los cupcakes estarán listos a las once de la mañana.

P1 y P2 tienen contundentes pruebas que logran afirmar la verdad de la conclusión, lo

cual también es una característica del argumento deductivo.

Ejercicio número 3
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: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
Premisas: P1: 𝒑 ∧ 𝒒
P2: 𝒑 → 𝒓
Conclusión: 𝒓 ∧ 𝒒

A partir de la expresión simbólica seleccionada, el estudiante deberá:

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

2. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso).

3. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

4. Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Solución
1. [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

𝒑: Mario estudia en la Unad

𝒒: Mario está en el curso de Pensamiento lógico matemático.
𝒓: Mario hace las tareas de Pensamiento lógico matemático.

Mario estudia en la unad y Mario está en el curso de pensamiento lógico

matemático. y Mario estudia en la unad entonces Mario hace las tareas de
pensamiento lógico matemático. Por lo tanto Mario hace las tareas de pensamiento
lógico matemático, y Mario está en el curso de Pensamiento lógico matemático.

2.
3. Tabla de la verdad

� � (𝒑 ∧ 𝒒) � � (𝒑 → 𝒓) [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] � � (𝒓 ∧ 𝒒) [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

� � � � � �
V V V V V V V V V V V
V V V V F F F F V F V
V F F V F F F F F F V
V F F V V V F V F F V
F V F F V V F V V V V
F F F F F V F F F F V
F V F F F V F F V F V
F F F F V V F V F F V
Según la tabla de la verdad, es una tautología, por lo tanto el razonamiento es válido.

4. Demostración de la validez
A. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
Premisas: P1: 𝒑 ∧ 𝒒
P2: 𝒑 → 𝒓
Conclusión: 𝒓 ∧ 𝒒

Simplificación P1, obtengo P3

P1: 𝒑 ∧ 𝒒
P3: 𝒑

Simplificación P1, obtengo P4

P1: 𝒑 ∧ 𝒒
P4: 𝒒

Modus ponen P2 y P3, obtengo P5

P2: 𝒑 → 𝒓
P3: 𝒑
P5: 𝒓

Adjunción P5 y P4, obtengo P6 que es la confirmación de la conclusión.

P5: 𝒓
P4: 𝒒
P6: 𝒓 ∧ 𝒒 Concusión válida
Conclusiones:

 Además de la tabla de la verdad, el empleo de las leyes de la inferencia lógica permiten

conocer si una proposición es o no válida.
 Los temas expuestos en esta unidad, ayudan a pensar con más claridad, coherencia,
elaborar pensamientos racionales y buscar la verdad.

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=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.action?
ppg=91&docID=4569631&tm=1529513879802
 
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869