TAREA 3 – SUSTENTACIÓN UNIDADES 1 Y 2

LIBARDO ANTONIO CORDERO CASTILLO

CODIGO: 1102845198

TUTOR

JAVIER ERNESTO RODRIGUEZ

UNIVERSIDAD NACIONAL, ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INFORMATICA (ECBTI)

INGENIERIA DE SISTEMAS

LOGICA MATEMATICA

SINCELEJO-SUCRE

2018
INTRODUCCION

La lógica matemática es una materia que es parte de la educación y preparación académica del

estudiante especialmente del estudiante universitario, la que nos permite ordenar nuestros

pensamientos e ideas, permitiéndonos tener una percepción diferente de los objetos que vemos y

de los términos que escuchamos, nos lleva a renunciar muchas veces al conocimiento empírico

con el que fuimos educados, pues nos enseña a analizar antes de emitir un juicio sobre

determinado objeto o prejuicio .El trabajo que hoy ponemos a su disposición consiste en el

estudio y análisis del pensamiento lógico, tablas de verdad, inferencia y las leyes de inferencia.
Ejercicio 1: Conceptualización de las reglas de inferencia.

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes referencias:

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38)

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

166)

 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)

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 inferencial

 razonamientos lógicos

 inferencia lógica

 leyes de la inferencia lógica

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes 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)

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

Una vez realizada la lectura, desarrolle la actividad propuesta.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

C. El arriendo se mantiene válido o el dueño es responsable de las reparaciones. El dueño no es

responsable de las reparaciones.

Conclusión: El dueño no es responsable de las reparaciones

Ley de inferencia aplicada: MODUS TOLLENDO PONENS (TP)

Lenguaje simbólico: p v q ¬𝒒
Ejercicio 3: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes referencias:

 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]

Una vez realizada la lectura, desarrolle la actividad propuesta.

Descripción del ejercicio:

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

c. En el mundial de Brasil en el año 2014, la selección colombiana mostró un buen

desempeño. Jugó contra la selección de Grecia, Costa de Marfil, Japón, Uruguay y Brasil,

de los cuales, ganó 4 encuentros y perdió uno en cuartos de finales. Por lo tanto, si este

año, en el mundial de Rusia 2018, Colombia juega con la misma línea de jugadores y

contra los mismos equipos, les ganará nuevamente

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.

 R// el razonamiento es deductivo

Porque según el mundial de Brasil en el año 2014, la selección Colombia mostro un buen

desempeño y esto nos habla de forma particular y luego se concluye que Por lo tanto, si

este año, en el mundial de Rusia 2018, Colombia juega con la misma línea de jugadores y

contra los mismos equipos, les ganará nuevamente y nos habla de forma general por lo

cual es deductivo

Ejercicio 4: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes 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)

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

Una vez realizada la lectura, desarrolle la tarea propuesta.

Descripción del ejercicio:

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

para el desarrollo del ejercicio 4:

c. Expresión simbólica: {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q

Premisas

P1: 𝒑 → (𝒒 ∨ 𝒓)

P2: 𝒔 →∼ 𝒒

P3: 𝒕 →∼ 𝒓

P4: 𝒑 ∧ 𝒕

Conclusión: 𝑞

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada

en un contexto, el que se solicita es un contexto académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas

correctivas estipuladas por la UNAD.

LAURA ESTUDIA EN EL ARAUJO ENTONCES EL ARAUJO ES UN COLEGIO

BUENO Y LAURA ES BUENA ESTUDIANTE Y EL COLEGIO ES MUY

EXIGENTES ENTONCES EL ARAUJO NO ES UN COLEGIO PUBLICO Y SI EL

COLEGIO ES MALO ENTONCES LAURA NO ES BUENA ESTUDIANTE Y

LAURA ESTUDIA EN EL ARAUJO Y SI EL COLEGIO ES MALO ENTONCES EL

ARAUJO ES UN COLEGIO PUBLICO

Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico (El

estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH, en el

Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

p q r s t {[p→(qVr)]Λ(s→¬q)Λ(t→¬r)Λ(pΛt)}→q

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
Demostracion por leyes de inferencia

P1 p →(q r)

P2. s → ~q

P3. t → ~ r

P4. P ∧ t

/∴q

________________________________________

5. t Simp. (4)

6. p Simp. (4)

7.~ r MPP (3), (5)

8. q r MPP (1), (6)

9. q SD (7), (8) Conclusión

CONCLUSIONES

Con este trabajo reforzamos los conocimientos adquiridos en la anterior unidad al dar uso de las

formas básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para

demostrar la validez o no validez de las situaciones problemitas propuestas.

Analizamos de forma individual la situación de cada problema sugerida en la guía por medio de

las inferencias lógicas y las leyes de inferencia planteando una solución.