Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Docente
Sandra Johana Domínguez
Presenta
Luis Alejandro Mariño
Cód: 1016035870
Grupo
200611_135
INTRODUCCIÓN
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:
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
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
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los
siguientes ítems:
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
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:
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