UNIDAD 3

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

PROBAR VALIDEZ DE ARGUMENTOS

PRESENTADO POR:
YEICOP ANDREY FONSECA ANGARITA CODIGO:1052416427

N.º DE GRUPO:200611_652

PRESENTADO A:
TUTOR: DIEGO FERNANDO VEGA

ASIGNATURA:
PENSAMIENTO LÓGICO Y MATEMÁTICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
14 DE JUNIO DE 2020
 Introducción

La clasificación de proposiciones categóricas y métodos para probar validez de argumentos son

importantes ya que se pueden aplicar en numerosas situaciones de nuestra vida cotidiana y
determinar su correspondiente validez, en el presente trabajo encontraremos la solución de tres
ejercicios, problemas categóricos, razonamiento deductivo e inductivo y problemas de
aplicación.
 Tabla de contenido

Introducción.....................................................................................................................................2
Objetivos..........................................................................................................................................4
Objetivo General........................................................................................................................4
Objetivos específicos..................................................................................................................4
Ejercicio 1: Proposiciones categóricas............................................................................................5
Ejercicio 2: Razonamiento Deductivo e Inductivo..........................................................................7
Ejercicio 3: Problemas de aplicación...............................................................................................8
Conclusiones..................................................................................................................................11
Bibliografía....................................................................................................................................12
 Objetivos

Objetivo General

Identificar de forma clara los métodos para demostrar la validez de argumentos, mediante la
aplicación correcta de las reglas de inferencia lógica, los razonamientos por inducción y
deducción en formulaciones de situaciones específicas del mundo real.

Objetivos específicos

 Investigar Los diferentes métodos para a la validez de argumentos con inferencia lógica y
razonamientos por inducción y deducción.
 Desarrollar los ejercicios propuestos de acuerdo con proporciones categóricas,
razonamiento deductivo e inductivo y problemas de aplicación
 Comprender los diferentes métodos para a la validez de argumentos con inferencia lógica
y razonamientos por inducción y deducción.
 Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

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

D) p: Todas las manzanas son rojas

q: Algunas manzanas No son rojas.

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

Cuantificador Término Sujeto Cualidad o Término

Predicado
Cúpula

P Todas Manzanas son rojas

q Algunas Manzanas No son Rojas

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

 Universal Afirmativa (Proporciones-A): Todo S es P. Cuantificador Universal y
cualidad afirmativa.

Cuantificador Término Sujeto Cualidad o Término

Predicado
Cúpula

p Todas Manzanas son rojas

  Particular Negativa (Proporciones-O) Algunos S no son P. Cuantificador particular y
cualidad negativa.

Cuantificador Término Sujeto Cualidad o Término

Predicado
Cúpula

q Algunas Manzanas No son rojas

 De acuerdo con 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.

Respuesta: De acuerdo con el esquema las proporciones en donde “p” es universal

afirmativa (A) Todo S es P y “q” es Particular negativa (O) Algún S no es P darían
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:

D) El lunes, martes y miércoles fueron días soleados. Por tanto, el jueves estará soleado.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

 Identificar si el razonamiento es deductivo o inductivo.

Solución:
El correspondiente razonamiento tiene como conclusión que es un razonamiento
inductivo.

 Argumentar la respuesta con sus propias palabras.

Argumento:
Corresponde a un razonamiento inductivo ya que no tenemos certeza ni pruebas
científicas que pronostiquen o determinen que si el sol cae el lunes martes y miércoles
caiga el jueves por lo tanto solo es intuición de nosotros mismos, entonces parte de lo
particular hacia lo general basados en hechos de la realidad, como puede de que si como
puede de que no salga el sol al cuarto día.

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:
D. Expresión simbólica: {[(𝑝∧𝑞) →𝑟]∧(𝑞)∧(𝑝)} →𝑟

Premisas:
P1: (𝑝∧𝑞) →𝑟
P2: 𝑞
P3: 𝑝

Conclusión: 𝑟
 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.
p: Yeicop estudia en la UNAD
q: La UNAD es una universidad publica
r: Seré un buen estudiante

Yeicop estudia en la UNAD y La UNAD es una universidad pública, entonces Seré un buen
estudiante y La UNAD es una universidad pública y Yeicop estudia en la UNAD entonces Seré
un buen estudiante.

Lenguaje natural Conector lógico Lenguaje tipo formal

Yeicop estudio en la UNAD ˄ Conjunción (P˄Q)
y la UNAD es una
universidad pública,
Entonces Seré un buen →Condicional →r
estudiante
y La UNAD es una ˄ Conjunción ∧(𝑞)∧(𝑝)
universidad pública y
Yeicop estudia en la UNAD
Entonces Seré un buen →Condicional →r
estudiante

Declaración del enunciado en lenguaje formal se tiene: {[(𝑝∧𝑞) →𝑟]∧(𝑞)∧(𝑝)} →𝑟

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

Solución:

P1: (𝑝∧𝑞) →𝑟

Yeicop estudia en la UNAD y la UNAD es una universidad publica entonces seré un buen
estudiante

Lenguaje natural Conector lógico Lenguaje tipo formal

Yeicop estudia en la UNAD ˄ Conjunción (P˄Q)
y la UNAD es una
universidad publica
entonces seré un buen → Condicional →𝑟
estudiante

Declaración del enunciado en lenguaje formal se tiene: (P˄Q) →𝑟

P2: 𝑞
La UNAD es una universidad publica

P3: 𝑝

Yeicop estudia en la UNAD

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 TABLA DE VERDAD YEICOP ANDREY FONSECA ANGARITA
p q r (pʌq) {[(pʌq) →r] {[(pʌq) →r]ʌ(q) {[(pʌq) →r]ʌ(q)ʌ(p)} {[(pʌq) →r]ʌ(q)ʌ(p)}→r
V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F V F F V
F V V F V V F V
F V F F V V F V
F F V F V F F V
F F F F V F F V

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

Expresión simbólica: {[(pʌq) →r]ʌ(q)ʌ(p)} →r

Premisas
P1: (𝑝∧𝑞) →𝑟
P2: 𝑞
P3: 𝑝

Donde tenemos la Conclusión: r

P4: 𝑝∧𝑞 Para hallar esta premisa aplicamos la adjunción en la P2 y P3.
P5: r Para hallar esta premisa aplicamos la ley de inferencia Modo Ponendo Ponens
(MPP) en la P1 y P4.
 Conclusiones

 Mediante la utilización clasificación de proposiciones categóricas y métodos para probar

validez de argumentos se desarrollan problemas de nuestra vida diaria cotidiana, la cual
es de gran importancia para direccionar bien mis conocimientos y poder enfrentarme a
ellos en un futuro como profesional.

 Mediante la aplicación de proposiciones categóricas podemos exponer un argumento en

el cual puede omitirse una conclusión, premisa o norma y determinar su validez.

 Mediante la utilización de las tablas de verdad me permite aplicar técnicas para encontrar
un razonamiento verídico de un problema planteado y con ello poder descifrar el lenguaje
simbólico.
 Bibliografía

Adames, F. (24 de 05 de 2020). Proposiciones Categóricas (Micro-Clase de Pensamiento

Lógico y Matemático) [Archivo deVideo] . Obtenido de https://www.youtube.com/watch?
v=yAprJbvQBJw&feature=youtu.be
Adames, F. (24 de 05 de 2020). Proposiciones Categóricas (Micro-Clase de Pensamiento
Lógico y Matemático) [Archivo deVideo] . Obtenido de https://www.youtube.com/watch?
v=yAprJbvQBJw&feature=youtu.be
Arredondo, C. J. (2015). Proposiciones categóricas. Obtenido de 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
Cardona, T. S. (2010). Leyes de Inferencia. Obtenido de Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.: https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=81
Castaño, C. (2019). Leyes de la inferencia. Obtenido de
https://repository.unad.edu.co/handle/10596/31590
Castaño, G. (2017). Leyes de inferencia, [Video]. Obtenido de http://hdl.handle.net/10596/13869
Obando, J. (21 de 05 de 2020). Unidad 3 Leyes de inferencia. Obtenido de Juan Pablo Obando:
https://www.youtube.com/watch?v=8ZBC3NsvW3U&feature=youtu.be
Tipos de Razonamiento. (2015). Obtenido de Arredondo, C. J., & Escobar, V. G. Lógica: temas
básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84):
https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=4569631&ppg=91
TRUJILLO GARCIA, A. (20 de 05 de 2020). Vídeo explicativo Tarea 3 PLM 16 02 (2020)
[Archivo de Video]. Obtenido de https://www.youtube.com/watch?
v=3sgo8zhwPVw&feature=youtu.be