UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ECBTI - INGENIERÍA ELECTRÓNICA

Pensamiento Lógico y Matemático.

CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

Docente
Sandra Johana Domínguez

Presenta
Luis Alejandro Mariño
Cód: 1016035870

Grupo
200611_135

Bogotá DC Colombia Noviembre-2018

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ECBTI - INGENIERÍA ELECTRÓNICA
Pensamiento Lógico y Matemático.

INTRODUCCIÓN

Mediante la lectura y comprensión de las diferentes lecturas como material de

apoyo del curso Pensamiento Lógico Y Matemático determinadas para la fase 3,
se dio solución a 3 ejercicios prácticos y que posiblemente encontremos en un
ambiente diario sobre temas de proposiciones categóricas y razonamiento lógico.

Como primer ejercicio se evaluara y analizara una situación para determinar el tipo
de proposición. En el segundo ejercicio aplicaremos lo aprendido en las lecturas
identificaremos que tipo de razonamiento es. Por último, el tercer ejercicio
pretende hacernos comprender en un contexto diario la implementación de todos
los temas aprendidos desde la primera fase del curso, emplearemos la
transformación del lenguaje simbólico al natural, utilizaremos las tablas de la
verdad y aplicaremos las leyes de inferencia.

OBJETIVOS:

 Analizar y transformar los diferentes problemas que se puedan presentar en

el día a día aplicando los conceptos de razonamientos y proposiciones.

 Entender de manera simple y eficaz el significado de las diferentes leyes de

inferencia y, cómo y cuándo deben ser aplicados.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD 1
ECBTI - INGENIERÍA ELECTRÓNICA
Pensamiento Lógico y Matemático

Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

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

ejercicio 1:

e)
p: todos los colombianos votaran por el futuro de Colombia.
q: algunos colombianos no votaran por el futuro de Colombia.

ESTRUCTURA
Cuantificador Termino sujeto Cualidad o cúpula Termino predicado
p Todos los colombianos Votaran Futuro Colombia
q Algunos colombianos No votaran Futuro Colombia

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

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

Universal afirmativa Cuantificador universal y cualidad afirmativa.

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

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

Todos los colombianos

votaran por el futuro
de Colombia.

Algunos colombianos
no votaran por el
futuro de Colombia.
A
De acuerdo al esquema propuesto p y q son contradictorias.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD 2
ECBTI - INGENIERÍA ELECTRÓNICA
Pensamiento Lógico y Matemático

Ejercicio 2: Razonamiento Deductivo e Inductivo:

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

ejercicio 2:

e. En distintas circunstancias Ana le ha pedido el cargador del celular

prestado a Carlos, pero él no ha querido hacerlo debido a que Ana le
extravió el cargador a su primo Esteban y el de su hermana Elba. ¿Qué tipo
de razonamiento uso Carlos para determinar esta decisión?

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.

Argumentación: El razonamiento que emplea Carlos para tomar la decisión de no

prestarle el cargador a Ana es deductivo, pues él toma esa decisión observando
los sucesos ocurridos con anterioridad y por ende asume que si le presta el
cargador a Ana ella lo perderá.

Ejercicio 3: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de

un argumento para el desarrollo del ejercicio 3:

e. Expresión simbólica:

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

DESARROLLO:
NOTA ACLARATORIA:

→ = 𝑠𝑖 … 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 …
Premisas simples: ∧ = 𝑦 … ó 𝑖𝑔𝑢𝑎𝑙𝑚𝑒𝑛𝑡𝑒 … ó 𝑝𝑒𝑟𝑜 …
∨=ó
p: Presento trabajos. ~ = 𝑛𝑜
q: apruebo la materia.
r: realizo una exposición.
s: aprendo.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD 3
ECBTI - INGENIERÍA ELECTRÓNICA
Pensamiento Lógico y Matemático

Razonamiento en lenguaje natural:

Si presento trabajos entonces apruebo la materia o realizo una exposición. Pero si

realizo la exposición entonces no es necesario presentar trabajos, y si presento
trabajos igualmente aprendo. Entonces apruebo la materia y aprendo.

Generar una tabla de verdad con el simulador Truth Table:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD 4
ECBTI - INGENIERÍA ELECTRÓNICA
Pensamiento Lógico y Matemático

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

Leyes de Inferencia:

Premisas:
P1: (𝒑 → 𝒒) ∨ 𝒓
P2: 𝒓 →∼ 𝒑
P3: 𝒑 ∧ 𝒔

P4: 𝑝 Simplificación en P3
P5: 𝑞 PP en P1 y P4
P6: 𝑠 Simplificación en P3
P7: 𝑟 TT en P2 y P6
P8: 𝒒 ∧ 𝒔 Conclusión
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD 5
ECBTI - INGENIERÍA ELECTRÓNICA
Pensamiento Lógico y Matemático

CONCLUSIONES:

 Muchas veces la respuesta a varios de nuestros problemas diarios pasa

desapercibida, puesto que no somos consientes o aún no desarrollamos un
pensamiento lógico que nos ayude.

BIBLIOGRAFÍA:

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&doc
ID=4569631&tm=1529336365580

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

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&doc
ID=3199701&tm=1529336485971