tarea 3

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

presentado por:
angel Guillermo Tinoco Morales

presentado a:
David rodrigo olivares

pensamiento lógico y matemático

universidad nacional abierta y a distancia

unad
Valledupar / cesar
2019
 INTRODUCCIÓN
En esta unidad se desarrollará las temáticas clasificación de proposiciones
categóricas y métodos para probar validez de argumentos de leyes de inferencias y
razonamiento deductivo e inductivo como también se usará para apoyo de trabajo
el uso del Truth y la tabla de verdad
 OBJETIVOS
 Desarrollo de Proposiciones categóricas según la categoría y método de
validez
 Conocer los métodos utilizados de inferencias y razonamiento deductivo e
inductivo

 Analizar cada uno de los temas a desarrollar

 Desarrollar los puntos propuestos siguiendo los enlaces propuestos en el
entorno de conocimiento
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.

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el

desarrollo del ejercicio 1:

C).

p: Todos los pacientes se toman sus medicamentos

q: Algunos pacientes no se toman sus medicamentos

• Establecer su estructura: p

Estructuras
Cuantificador Termino sujeto Cualidad o cúpula Termino predicado
Todos Pacientes Se toman Sus medicamentos

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

Clasificación de p: Proposición tipo “A”: Particular afirmativa. Cuantificador particular y
cualidad afirmativa.
• Establecer su estructura: q

Estructuras
Cuantificador Termino sujeto Cualidad o cúpula Termino predicado
Algunos Pacientes No se toman Sus medicamentos

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

Clasificación de q: Universal negativa (proposiciones-O): Ningún S es P o Todo S no es P.
Cuantificador universal negativo o Cuantificador universal 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 propuesto 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.
El razonamiento es deductivo
• Argumentar la respuesta con sus propias palabras.
El razonamiento deductivo parte de una premisa general para llegar a una
conclusión particular.
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: 𝑠

• 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: angel estudia en la unad un curso de lógica matemática
q: estudia los ejercicio matemáticos podrá resolverlo
r: El tutor recomienda revisar referencia bibliográfica
s: Aprueba el examen
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante

P1: 𝒑 ∨ (𝒒 ∧ 𝒓)
angel estudia en la unad un curso de lógica matemática o estudia los
ejercicios matemáticos para resolverlo y si el tutor le recomienda revisar
referencia bibliográfica .

P2: ¬(𝒒 ∧ 𝒓)
No estudia los ejercicio matemáticos no podrá resolverlo y el tutor le
recomienda revisar la referencia bibliográfica.

P3: 𝒑 → 𝒔
angel estudia en la unad un curso de lógica matemática entonces aprueba
el examen .

Conclusión: 𝑠

Aprueba el examen

Lenguaje natural:
angel estudia en la unad un curso de lógica matemática o estudia los
ejercicios matemáticos para resolverlo y si el tutor le recomienda revisar
referencia bibliográfica y sino estudia los ejercicio matemáticos no podrá
resolverlo y el tutor le recomienda revisar la referencia bibliográfica.
angel estudia en la unad un curso de lógica matemática entonces aprueba
el examen .
 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
 CONCLUCIÓN
En este trabajo adquirimos conocimientos de las leyes inferencias y razonamiento
deductivo e inductivo. Llegando a desarrollar cada uno del objetivo propuestos en
este trabajo
Podemos concluir que para resolver las temáticas correspondientes sobre los
ejercicios de razonamiento los podemos demostrar con la tabla de verdad y las
reglas de inferencia
 REFERENCIAS

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=31997
01&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=45696
31&tm=1529513879802