PENSAMIENTO LOGICO MATEMÁTICO

CLASIFICACIÓN DE PROPOSICIONES CATEGORICAS Y METODOS

Estudiante

JENNY JULIETH CARDENAS FIRACATIVE

(200611A_90)

Tutor

RICARDO LAVERDE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Bogotá D.C. junio de 2019

 2

Contenido

Introducción ........................................................................................................................................ 3

Objetivos ............................................................................................................................................. 4

Ejercicio 1: Proposiciones categóricas ................................................................................................ 5

Ejercicio 2: Razonamiento Deductivo e Inductivo.............................................................................. 7

Ejercicio 3: Problemas de aplicación .................................................................................................. 7

Conclusiones ..................................................................................................................................... 10

Referencias Bibliograficas ................................................................................................................ 10

 3

Introducción

En el presente trabajo se abordó principales temas como las proposiciones categóricas

con el fin de determinar cada proposición diferente según sus categorías. La cual es un tema

de requisito para poder determinar los esquemas según su proposición categórica; que son

contrarias, sub alterna y sub contrarias.

En el segundo ejercicio se realizó una determinación según el argumento de tipo

cotidiano analizando si es deductivo o inductivo, y en el último ejercicio son problemas de

aplicación, según la expresión simbólica seleccionada, el cual hay que clasificar en

proposiciones simples, luego de ello se realizó un razonamiento en lenguaje natural y su

respectiva clasificación en tablas de verdad ya sea simulada o manual y por ultimo con la

expresión simbólica seleccionada con sus respectivas premisas se aplicaron las leyes de

inferencia
 4

Objetivos

 Categorizar las diferentes proposiciones que existen.

 Definir argumentos de razonamiento deductivo e inductivo.
 Demostrar expresiones simbólicas por medio de proposiciones simples, proposiciones en
lenguaje natural, generando tablas de verdad y leyes de inferencia.
 5

Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas: A

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

 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

ALGUNOS ESTUDIANTES NO GANAN CURSO

Tabla 1. Proposición Categórica

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

Clasificación de p: Proposición tipo “A”.
Universal afirmativa (proposiciones-A): Todo S es P. Cuantificador universal y cualidad
afirmativa.
Universal afirmativa. Cuantificador universal y cualidad afirmativa.

ESTRUCTURA

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

TODOS ESTUDIANTES GANAN CURSO

Tabla 2. proposición categórica Tipo A.

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

Universal negativa (proposiciones-E): Ningún S es P o Todo S no es P. Cuantificador
universal negativo o Cuantificador universal y cualidad negativa.
 6

ESTRUCTURA

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

NINGUN ESTUDIANTE GANAN CURSO

Tabla 3. preposición categórica Tipo E.

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

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

ESTRUCTURA

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

ALGUNOS ESTUDIANTES GANAN CURSO

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

Particular negativa (proposiciones-O): Algunos S no son P. Cuantificador particular y
cualidad negativa.

ESTRUCTURA

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

ALGUNOS ESTUDIANTES NO GANAN CURSO

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

p: Todos los estudiantes ganan el curso.

q: Algunos estudiantes no ganan el curso

P q

Tabla 4. Esquema de proposiciones categóricas.

De acuerdo al esquema p y q son Contrarias

Ejercicio 2: Razonamiento Deductivo e Inductivo

Argumento:
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.
Desarrollo
Argumentación: Según el razonamiento que se establece que es Deductivo, ya que
conociendo los hechos de que Juan, Miguel y Alejandro son amigos quienes le prestaron
dinero a José y él no pago, se deduce que José no paga lo que le prestan.

Ejercicio 3: Problemas de aplicación

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

 8

Premisas:
P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)
Conclusión: ¬r
Proposiciones simples:
r: Helena estudia ingeniería
q: participa en los laboratorios presenciales
p: tiene inscrita una materia de física
s: está cursando cuarto semestre
Razonamiento en lenguaje natural:
[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r
Helena estudia ingeniería entonces no participa en los laboratorios presenciales y tiene
inscrita una materia de física o está cursando cuarto semestre y participa en los laboratorios
presenciales y tiene inscrita en la materia de física. por tanto Helena no estudia ingeniería
Tabla de verdad Simulador

Tabla 5. Tabla de verdad simulador.

 9

El resultado es una: Tautologia

Tabla 6. Tabla de verdad manual.

Leyes de inferencia:
Conclusión: ¬r
____________________
Premisa 1: (r → ¬q)
Premisa 2:(p ∨ s)
Premisa 3: (q ∧ p)
_____________________________
P4: q aplicando Simplificacion P3
P6: ¬r aplicando MTT P1 y P4
 10

Conclusiones

Es una funcion la cual define una declaracion categorica sea falsa o verdadera usando

argumentos que utilizamos en la vida cotiana con le fin de convertirsen en modo deductivo

e inductivo. Cosas tan sencillas que razonamos en la vida diaria, que hasta un simple

argumento podemos convertirlo de una manera matemática.

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

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

78 - 99). Ediciones Elizcom, Madrid.

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

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

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