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

validez de argumentos

Tutor/a: Norbey Romero

Estudiante: Juan Manuel Santos Vera
Código: 1.094.245.641
Grupo: 200611_576

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación
Ingeniería Industrial
Pensamiento lógico y matemático
Pamplona 06 de noviembre de 2019
 Objetivos

General

- Identificar en forma clara los métodos para demostrar la validez de

argumentos, mediante la aplicación correcta de las reglas de
inferencia lógica.

Específicos

- Determinar los componentes de un silogismo y realizar sus

respectivas graficas.
Ejercicio 1: Proposiciones categóricas

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

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

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 61-65.)

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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

Todos Pacientes Toman Medicamentos

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

Cuantificador universal y cualidad afirmativa.
  Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

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

Algunos Pacientes Toman Medicamentos

 Particular negativo (proposiciones-O): Algunos S no son P.

Cuantificador particular y cualidad negativa.

 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: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

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

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

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

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.
 Argumentar la respuesta con sus propias palabras.
- El razonamiento utilizado es inductivo ya que conociendo el clima
podemos saber si en el espacio que van a construir se pueda
desarrollar el proyecto.
Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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:

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

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

Conclusión: 𝑠

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.
 Juan estudia ingeniería industrial
 La UNAD oferta la carrera de ingeniería industrial
 Juan estudia en 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)

o
 o
 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 V V V V V F F F V V

V V V F V V F F F V F

V V F V F V V F F V V

V V F F F V V F F V F

V F V V F V V F F V V

V F V F F V V F F V F
V F F V F V V F F V V

V F F F F V V F F V F

F V V V V V F V V F V

F V V F V V F V V F V

F V F V F F V V F F V

F V F F F F V V F F V

F F V V F F V V F F V

F F V F F F V V F F V

F F F V F F V V F F V

F F F F F F V V F F V

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

inferencia lógica
 Referencias bibliográficas
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

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=3199701&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=4569631&tm=1529513879802