PENSAMIENTO LÓGICO MATEMÁTICO

TAREA 3: CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS.

TUTOR
ANDRES RODRIGO BERMÚDEZ

RONAL ALNDRES MONAÑEZ QUIJANO

GRUPO: 200611B_614

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA (ECBTI)
INGENIERA INDUSTRIAL

SANTA MARTA
2019
 INTRODUCCIÓN

En el presente trabajo se realizará un ejercicio de proposiciones categóricas,

también, se realizará un ejercicio de razonamiento deductivo e inductivo en el que
se definirá el por qué se inclinó por el deductivo o el inductivo, y por último un
ejercicio de problemas de aplicación con su respectiva tabla de verdad y la
demostración de la validez de los argumentos mediante las leyes de inferencia
lógica
 OBJETIVOS

 Aprender la simbolización de la inferencia lógica

 Analizar los ejercicios planteados y dar respuesta aplicando las inferencias
lógicas
 Identificar la validez de un anuncio y emplear las leyes de inferencia lógica.
 DESARROLLO

EJERCICIO 1:

EJERCICIO C
P: TODOS LOS PACIENTES SE TOMAN SUS MEDICAMENTOS
Q: ALGUNOS PACIENTES NO SE TOMAN SUS MEDICAMENTOS

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

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

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

ESTRUCTURA

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

TODOS PACIENTES TOMAN MEDICAMENTOS

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

ESTRUCTURA

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

TODOS PACIENTES NO TOMAN MEDICAMENTOS

iii) Particular afirmativo (proposiciones-I): Algunos S son P. Cuantificador

particular y cualidad afirmativa.

ESTRUCTURA

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

ALGUNOS PACIENTES TOMAN MEDICAMENTOS

iv) Particular negativo (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 PACIENTES NO TOMAN MEDICAMENTOS

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

De acuerdo al esquema propuesta p y q son contradictorias.

EJERCICIO 2

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

ejercicio 2:

C. Gabriela dice que la arquitectura es el estudio del arte de habitar un espacio,

por ende, considera que se debe definir de acuerdo con el entorno, el clima,
optimizando el área a construir, dándole utilidad a cada metro cuadrado y con el
propósito de modernizar de una manera sobria la zona en la que el proyecto
arquitectónico será ejecutado.

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

 Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es deductivo

 Argumentar la respuesta con sus propias palabras.

 ya que hace uso de la definición general (premisas generales) de la
arquitectura como medio artístico de la utilización del espacio para generar
una conclusión, también extendida (relación armoniosa espacio habitable-
entorno). Esta misma responde de manera holística a las necesidades del
individuo y la sociedad.

EJERCICIO 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:

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

Premisas
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ¬(𝑞 ∧ 𝑟)
P3: 𝑝 → 𝑠
Conclusión: s
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

p: Pablo no atiende en clase

q: No estudia en casa.
r: Fracasará en los exámenes.
s: No será aplaudido

Si Pablo no atiende en clase o no estudia en casa, fracasará en los

exámenes y no será aplaudido.
 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).

[(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ¬(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

p q r s [(𝑝 v 𝑞) (q ∧ r) (q ∧ 𝑟) (p ⟶ 𝑠)
V V V V V V V V V
V V V F V V V V V
V V F V V V V V V
V V F F V V V V V
V F V V V V V F V
V F V F V V V V V
V F F V V V V F V
V F F F V V V F V
F V V V F V F V V
F V V F F V F F V
F V F V F F V V V
F V F F F F F V V
F F V V FF F F V V
F F V F F F F V V
F F F V F F F F V
F F F F F F F F V

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

inferencia lógica

Premisas:
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ¬(𝑞 ∧ 𝑟)
P3: 𝑝 → 𝑠
Conclusión: s

Silogismo disyuntivo
𝑝v𝑞
q ∧𝑠
𝑝 →𝑟
s
 CONCLUSIÓN

Al aplicar las preposiciones categóricas a la vida cotidiana podemos entender y

modificar ciertos elementos de las frases codificadas en estas estructuras, además
de que con el simple hecho de que se añada o se cambie alguna palabra, la frase
o el párrafo podría tomar un sentido diferente al que tenía inicialmente. Además de
esto, se concluye que la inducción es una suposición de que algo está en un
termino medio, que no está inclinado hacia un punto, y esto nos ayuda a clasificar
textos y por último tenemos que las leyes de inferencia lógica nos ayudan a validar
que tan correcta está fabricada la tabla de verdad ya que tiene muchos métodos
de validación.
Bibliografía
Arredondo, C. &. (2015). Lógica: temas básicos. En Lógica: temas básicos (págs.
80-84). Distrito Federal, MÉXICO: Grupo Editorial Patria.

Arredondo, C. J. (2015). Lógica: temas básicos. En Lógica: temas básicos (págs.

61-65). Distrito federal, MÉXICO: Grupo Editorial Patria.

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

computación. En Lógica matemática para ingeniería de sistemas y
computación (págs. 78-99). Madrid: Ediciones Elizcom.