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

validez de argumentos

Docente
John Jairo Getial

Curso
Pensamiento Lógico y Matemático

13-noviembre-2018

INTRODUCCION

En el siguiente documento encontrara el lector, 3 ejercicios que hacen

referencia a la Clasificación de proposiciones categóricas y Métodos para
probar validez de argumentos:
Ejercicio 1: Proposiciones categóricas

Ejercicio 2: Razonamiento Deductivo e Inductivo

Ejercicio 3: Problemas de aplicación

Cada uno de los ejercicios se encuentran debidamente desarrollados de

la mejor manera, con sus respectivos gráficos y ordenamiento, para que
logren ser de fácil comprensión para público.

Objetivos

1. Comprender y entender las Proposiciones categóricas

2. Comprender y entender el Razonamiento Deductivo e Inductivo
3. desarrollar problemas de aplicación

Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Todos los números enteros son positivos.

 q: Algunos números enteros son positivos.

ESTRUCTURA

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

Predicado

Todos Números enteros son positivos

Clasificación de p: Proposición tipo “A”.

Universal afirmativa. Cuantificador universal y cualidad

afirmativa.

Cuantificador Término Sujeto Cualidad o Término

Cúpula Predicado

Algunos Números enteros son positivos

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

Particular negativo. Cuantificador particular y cualidad negativa.

 p
p

De acuerdo con el esquema propuesta p y q son subalternas.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A Pedro le gustan los chocolates, comió muchos y le hicieron daño.

Sandra comió bastantes chocolates y enfermó. Por lo tanto, si comes
demasiados chocolates te harán daño.

 el razonamiento es inductivo.
 Por qué parte de unos hechos o unas primicias que son reales,
además llegamos a una conclusión verdadera, partiendo de varios
hechos o acontecimientos singulares que han sucedido en varias
personas, en el caso de pedro y Sandra que han comido muchos
chocolates y les ha hecho daño, podemos concluir que si comemos
muchos chocolates nos harán daño.
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

Expresión simbólica:

[ ( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s ) ∧ ( ¬ p ) ∧ ( ¬ s ∨r ) ] → r

Premisas:
P1: ¬ p → q
P2: q → ¬r
P3: ¬ r → s
P4: ¬ p
P5: ¬ s ∨ r
Conclusión: r

Desarrollo:

 Premisas simples:
 p: Mauricio estudiará en la AUTONOMA
 q: Mauricio estudia en la UNAD
 r: no se graduará de ingeniero industrial
 s: deberá aprobar todos los cursos

 Razonamiento en lenguaje natural:

 Mauricio no estudiará en la AUTONOMA, entonces Mauricio

estudiará en la UNAD. sí Mauricio estudiará en la UNAD entonces
se graduará de ingeniero industrial. Si se graduará de ingeniero
industrial entonces deberá aprobar todos los cursos. Si Mauricio
no estudiará en la AUTONOMA; no deberá aprobar todos los
cursos o no se graduará de ingeniero industrial. Entonces no se
graduará de ingeniero industrial
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

leyes de inferencia:
Premisa 1: ¬ p→q
Premisa 2: q → ¬r
Premisa 3: ¬r→s
Premisa 4: ¬p
Premisa 5: ¬s∨r
__________________

Premisas:

6. r TP (3), (4)

7. q TT (2), (6)

8. p TT (1), (5) CONCLUSIÓN

 CONCLUSIONES
1. El desarrollo de esta actividad me ayudo a adquirir nuevos
conocimientos en cuanto a proposiciones categóricas

2. Con el desarrollo de esta actividad, pude adquirir nuevos

conocimientos en el desarrollo del ejercicio de razonamiento
Deductivo e Inductivo

3.
4. He logrado adquirir con esta actividad, conocimientos para
desarrollar problemas de aplicación

5. El desarrollo de esta actividad ha hecho que investigara por medio

de otras fuentes, para la solución de algunos ejercicios.

6. La realización del punto 3 de la tarea, me fue útil por que obtuve

nuevas experiencias en cuanto al manejo de herramientas
digitales para el desarrollo de ese punto, como fue la herramienta
del Simulador TRUTH

Referencias bibliográficas

Proposiciones categóricas
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
Leyes de Inferencia
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
Tipos de Razonamiento
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

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

de http://hdl.handle.net/10596/13869