LÓGICA MATEMÁTICA

ESTUDIANTE
NICOLÁS ROLANDO ORTIZ GALINDO
CÓDIGO: 1096953838

GRUPO: 90004_208

TUTOR
JAIRO YAMID MARIN

UNIVERSAL NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y DE

NEGOCIOS (ECACEN)
ADMINISTRACIÓN DE EMPRESAS

CEAD MÁLAGA
OCTUBRE DE 2019
 INTRODUCCIÓN

En el presente trabajo se evidencia la temática razonamiento lógico, tablas de verdad , leyes

de inferencia ya argumentos lógicos los cuales cuyos elementos más simples representan
proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad, formando s una tabla que muestra el valor de verdad de
una proposición compuesta, para cada combinación de verdad que se pueda asignar.
Analizando las primas que obtenernos de los ejercicios mediante las leyes de premisas y
formular conclusión.
Objetivos general
identificar apropiar la temática de leyes de premisas y reforzar los temas trabajados en la
unidad anterior y aplicarlos a los ejercicios propuestos en el trabajo.

Objetivos específicos

 Estudiar los videos y tutoriales impartidos por el tutor y apropiarlos adecuadamente.

 Identificar los argumentos y sus partes.
 Aplicar los conocimientos aprendidos a los ejercicios propuestos en esta unidad.
Ejercicio 1
Descripción del ejercicio:

Socializar en el Foro diseñado para el desarrollo de la actividad unidad 2, un mapa conceptual

que encierre los conceptos básicos de la presente unidad que son:
· Lógica Matemática
· Leyes de la inferencia lógica
· Razonamientos Lógicos
Actividad 2

a. Gabriela es neurocirujana o poeta. Gabriela no es poeta

Conclusión: Gabriela es neurocirujana
Ley de inferencia aplicada: Ley de inferencia MODUS TOLLENDO PONENS (TP)
(negando afirmo) y significa que dos enunciados están presentados bajo una disyunción si
niego uno de ellos afirmo el otro.
Lenguaje simbólico: P: Gabriela es neurocirujana
Q: Gabriela es poeta
P˅Q
¬Q ⇒ P
Si P es cierta por lo contrario Q no es cierta
si una disyunción de dos proposiciones es verdadera y una de ellas es falsa, entonces la otra
proposición es verdadera

Ejercicio 3. Razonamiento deductivo e inductivo

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.

El razonamiento es inductivo ya que va de lo particular a lo general de acuerdo al tema.

Claramente el texto evidencia las particularidades específicas que se deben tener en cuenta
para la creación de una sociedad evolucionada.
Ejercicio 4

a. Expresión simbólica: [(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒓 → 𝒔)] → (𝒑 → 𝒔)

Conclusión: 𝒑 → 𝒔
P: estudio en la UNAD
q: tengo buenas calificaciones
r: entrego mis trabajos a tiempo
s: soy buen estudiante
lenguaje natural: estudio en la UNAD entonces tengo buenas calificaciones, y tengo buenas
calificaciones entonces entrego mis trabajos a tiempo, y entrego mis trabajos a tiempo
entonces soy buen estudiante entonces estudio en la UNAD entonces soy buen estudiante.

Tabla de verdad simulador

Tabla de verdad manual [(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒓 → 𝒔)] → (𝒑 → 𝒔)

De acuerdo a la última columna la tabla de verdad es una tautología.

p Q R S (𝒑 → 𝒒) (𝒒 → 𝒓) (𝒓 → 𝒔) [(𝒑 → 𝒒) (𝒑 → 𝒔) [(𝒑 → 𝒒)
∧ (𝒒 → 𝒓) ∧ (𝒒 → 𝒓)
∧ (𝒓 → 𝒔)] ∧ (𝒓
→ 𝒔)]
→ (𝒑
→ 𝒔)
V V V V V V V V V V
V V V F V V F F F V
V V F V V F V F V V
V V F F V F V F F V
V F V V F V V F V V
V F V F F V F F F V
V F F V F V V F V V
V F F F F V V F F V
F V V V V V V V V V
F V V F V V F F V V
F V F V V F V F V V
F V F F V F V F V V
F F V V V V V V V V
F F V F V V F F V V
F F F V V V V V V V
F F F F v V V V V V

Premisas:
P1: 𝒑 → 𝒒
P2: 𝒒 → 𝒓
P3: 𝒓 → 𝒔
P4: p simplificación en 1
P5: s modulo ponnes 2,3
P6:(𝒑 → 𝒔) adjunción 4,5
 Conclusiones
Identificar las premisas y la conculcación de in argumento, mediante las leyes de inferencia
y de equivalencia son un método para probar la validez de un argumento, en un argumento
válido al aplicarlas leyes de inferencia y equivalencia se pueden demostrar la conclusión a
partir de las premisas.
 Referencias bibliográficas

Validez de un razonamiento

 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-

166). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=
11046000&tm=1492520104862

Inferencia Lógica

 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) Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=1
0732485&tm=1492520387992

Razonamiento deductivo e inductivo

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=
11230887&tm=1496180214861

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado

de http://hdl.handle.net/10596/6559
Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/6543
Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/6548
Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].
Recuperado de http://hdl.handle.net/10596/11486

 Lewin, R. (2011). La teoría de conjuntos y los fundamentos de la matemática. Chile:

Editorial ebooks Patagonia - J.C. Sáez Editor.
Recuperado http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&
docID=10526962&tm=1491863246945
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
Madrid, ES: Ediciones Elizcom. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&docID=10
565960&tm=1491918381547