Proposiciones simples y compuestas, tablas de verdad, métodos de demostración,

Razonamientos lógicos, inferencia lógica y argumentos lógicos.

German Andrés Gómez Colmenares.

Noviembre 2019.

Universidad Nacional Abierta y a Distancia.

Ibagué - Tolima.
Lógica Matemática
 ii

Copyright © 2015 por German Andres Gomez. Todos los derechos reservados.
Tabla de contenido iii
Capítulo 1 Introducción e información general .............................................................................. 1
Título 2 .......................................................................................Error! Bookmark not defined.
Título 2 .......................................................................................Error! Bookmark not defined.
Título 3. ..................................................................................Error! Bookmark not defined.
Título 3. ..................................................................................Error! Bookmark not defined.
Capítulo 2 Ejercicios ...................................................................................................................... 2
Ejercicio 1 ................................................................................................................................... 2
Ejercicio 2 ................................................................................................................................... 2
Ejercicio 4 ................................................................................................................................... 3
Capítulo 4 Resultados y discusión. ...............................................Error! Bookmark not defined.
Lista de referencias ......................................................................................................................... 6
Apéndice ......................................................................................................................................... 7
Vita.................................................................................................................................................. 8
 Lista de figuras iv

Figura 1. . ...........................................................................Error! Bookmark not defined.

 1

Capítulo 1

Introducción e información general

Este espacio de la lógica matemática, es una delas herramientas que se utiliza para

desglosar el pensamiento lógico en parámetros matemáticos, es así como cada ejercicio

propuesto en la guía será importante aprenderlo para conocer sobre los conceptos del

.razonamiento. Para desarrollar el ejercicio es indispensable tones los conceptos claros de

aprendizaje, así como sus respectivos tipos de análisis y tipos de ejercicios.

 2

Capítulo 2

Ejercicios

Cada ejercicio de es desarrollado por el escritor basado en la

documentación.

Ejercicio 2

Gabriela es neurocirujana o poeta. Gabriela no es poeta.

Conclusión: Gabriela es neurocirujana.

Ley de inferencia aplicada: Silogismo disyuntivo

Lenguaje simbólico:

𝑃: 𝐺𝑎𝑏𝑖𝑒𝑟𝑙𝑎 𝑒𝑠 𝑛𝑒𝑢𝑟𝑜𝑐𝑖𝑟𝑢𝑗𝑎𝑛𝑎

𝑄: 𝐺𝑎𝑏𝑟𝑖𝑒𝑙𝑎 𝑒𝑠 𝑝𝑜𝑒𝑡𝑎

𝑃 ∨Q

¬𝑄

∴𝑃

Ejercicio 3

Dependiendo de las posibilidades se negara una de ellas, concluyendo la más probable.

 3

El respeto por la libertad de los demás, sin que esta afecte mi libertad, es fundamental

para la creación de una sociedad evolucionada, ya que ese respeto implica honestidad,

comprensión y entendimiento de lo que sucede en un entorno afectado por múltiples

factores sociales. Es por esto que la educación moral, ética y académica es fundamental

para que el respeto y la libertad se den como factores de creación de sociedad.

P: respeto por la libertar

Q: es fundamental para la creación de una sociedad evolucionada

R: ya que ese respeto implica honestidad, comprensión y entendimiento de lo que sucede

en un entorno afectado por múltiples factores sociales.

S: Es por esto que la educación moral, ética y académica es fundamental

¬𝑝: sin 𝑞𝑢𝑒 𝑎𝑓𝑒𝑐𝑡𝑒 𝑚𝑖 𝑙𝑖𝑏𝑒𝑟𝑡𝑎𝑑

Expresión simbólica: [(𝑝 → ¬𝑝) → (q ∧ r) → (s → q)]

Ejercicio 4

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

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑟 → 𝑠

Conclusion: 𝑝 → s

German estudiante de ingeniería en sistemas, si el busca aprender inteligencia artificial. Y

dicha rama de IA sirve, para contribuir con la sociedad. Y si la sociedad lo único que
quiere es el progreso, entonces. Estudiar ingeniería en sistemas es parte del progreso.
 4

p: estudiante de ingeniería en sistemas

q: aprender inteligencia artificial
r: contribuir con la sociedad
s: progreso

figura 1. tabla de verdad con el simulador Lógica UNAD

 5

figura 2. Tabla realizada a mano

 6

Lista de referencias

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49)

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84).

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49)

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]

 7

Apéndice

Las tablas y figuras pueden ir en el apéndice como se mencionó anteriormente.

También es posible usar el apéndice para incluir datos en bruto, instrumentos de

investigación y material adicional.

 8

Vita

Acá se incluye una breve biografía del autor de la tesis.