UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Lógica Matemática
Unida 2 métodos para aprobar la validez de argumentos

Grupo
90004_425

Lina Marcela Castañeda Bedoya

Administración De Empresas

Tutor Del Curso

Gloria paulina castellano

Octubre-2019
 Introducción

La lógica matemática consiste en el estudio matemático de la lógica y en la

aplicación de este estudio a otras áreas de las matemáticas. En esta actividad
presentaremos una solución individual completa y oportuna de la misma,
tendremos en cuenta la participación significativa, continuas y oportunas
debatiendo las propuestas frente a las propuestas de los compañeros.

Toda metodología basada en la teoría del aprendizaje significativo facilita a que

nosotros como alumnos en el aprendizaje tengamos una mejor y calidad sobre
unas bases fundamentales para un buen proceso pedagógico donde se obtiene el
fortalecimiento lógico matemático cuando se aplica una unidad didáctica basada
en la teoría del aprendizaje significativo donde se fortalecen mejores relaciones en
el mundo externo.
Objetivos

1. Determinar la validez de un razonamiento logico.

2. Reconocer y contruir silogismo.
3. Profundizar sus conocimientos en matematicas y poder descubrir las
aplicaciones concretas en la ciencia que estudia.
4. Trabajar colaborativamente
5. Mejorar su capacidad para resolver problemas, implementando
procedimientos matemáticos de aplicación, que le serán útiles tanto en
otras asignaturas como en su desarrollo profesional.
 Ejercicio 1 UNIDAD 2

Abarca la siguiente temática

LÓGICA
LEYES DE LA MATEMÁTICA RAZONAMIENTOS
INFERENCIA LÓGICOS
LÓGICA Comprende

Es una forma lógica que consiste PROPOSICIONES VALOR DE CONECTIVOS FORMAS Es una habilidad y
en una función que toma VERDAD LÓGICOS PROPORCIONALES capacidad
premisas, analiza su sintaxis, y relacionada con la
SIMPLE Y
devuelve una conclusión forma abstracta de
COMPUESTA Disyunción Tautología
TABLAS DE ver los números o
VERDAD Conjunción cantidades y poder
Modo LEYES DE Que pueden ser Negación Contradicción realizar operaciones
Ponendo EQUIVALENCIA Condicional con ellas
Ponens Verdaderas o Bicondicional
Contingencia
(MPP) -Ley de Falsas
Contraposición
Modo -Ley del CAPACIDADES
Tollendo Condicional
Ponens -Ley de
Exportación Identificar
(MTP)
-Leyes de Morgan
-Leyes Relacionar
Modo
Conmutativas
Tollendo -Leyes Asociativas Operar
Tollens -Leyes
(MTT) Distributivas
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:

b). Sofía toma café o Sofía toma jugo cuando se reúne con sus amigos.
Sofía

No toma jugo cuando se reúne con sus amigos.

Conclusión: Sofía toma café cuando se reúne con sus amigos

Ley de inferencia aplicada: Modus Tollendo Ponens

Lenguaje simbólico: 𝑝 ˅ 𝑞

¬𝑞

̅̅̅̅̅̅̅̅̅
𝑝

Premisas

 Sofía toma café o toma jugo cuando se reúne con sus amigos.
 Sofía no toma jugo cuando se reúne con sus amigos.

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:

• La conclusión que se identifica en el argumento.

Se ha concluido entonces que: Sofía toma café cuando se reúne con sus amigos.

• La ley de inferencia que se aplica para probar el argumento.

La ley aplicada para la comprobación del argumento es el Modus Tollendo Ponens

• Definir la expresión del argumento en lenguaje simbólico o formal.

Expresión simbólica: 𝑝 ˅ 𝑞

¬𝑞

̅̅̅̅̅̅̅̅̅
𝑝

Condiciones de entrega:

• Nombre el archivo de su aporte de la siguiente manera: ejercicio 1 unidad

2_nombre del estudiante

• Presentar el desarrollo de los ítems en un documento en Word en el foro

de la tarea que se encuentra en el entorno de aprendizaje colaborativo

Nota

En el anexo 2, se establece un ejemplo modelo a seguir para dar respuesta a

los ítems planteados

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:

b. De todos los felinos, el león es el rey de la selva, ya que es el felino más

grande de África y por su melena pareciera que tuviese corona. Su único

potencial depredador es la hiena, pero solo si ésta lo ataca en grupo; de

lo contrario, hiena contra león tendrá como muy probable vencedor al

león.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los

siguientes ítems:

• Identificar si el razonamiento es deductivo o inductivo.

Para el ejercicio anterior el razonamiento identificado es el deductivo.

• Argumentar la respuesta con sus propias palabras.

Se identifica que es deductivo puesto que con los argumentos presentados más
los conocimientos adquiridos por las lecturas realizadas anteriormente se llega a la
conclusión que el mismo argumento presenta la cual es: Ya que el león es el felino
más grande de africa, hiena contra león tendrá como muy probable vencedor al
león

Condiciones de entrega:

• Nombre el archivo de su aporte de la siguiente manera: ejercicio 3 unidad

2_nombre del estudiante

• Presentar el desarrollo del ítem en un documento en Word en el foro de la

tarea que se encuentra en el entorno de aprendizaje colaborativo

Nota

En el anexo 2, se establece un ejemplo modelo a seguir para dar respuesta a

los ítems planteados.

EJERCICIO 4: 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 4:

a. Expresión simbólica: [(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

Premisas:
P1: 𝑝 ∧ ¬𝑞
P2: 𝑝 → ¬𝑟
P3: 𝑞 ∨ ¬𝑠

Conclusión: ¬𝑟 ∧ ¬𝑠

LENGUAJE NATURAL
Thomas enseña filosofía y no enseña inglés. Si Thomas enseña filosofía entonces
no enseña español. Thomas enseña inglés o no enseña matemáticas; entonces no
enseña español y no enseña matemáticas.

PROPOSICIONES SIMPLES

P= Thomas enseña filosofía

q= Thomas enseña ingles

r= Thomas enseña español

s= Thomas enseña matemáticas

conclusión= Thomas no enseña español y no enseña matemáticas.

PREMISAS

P1= p ˄ ̴q

P2= p → ̴ r

P3= q v ̴ s

conclusión: ̴ r ˄ ̴ s

DEMOSTRACION POR LEYES DE INFERENCIA

P1= p ˄ ̴q

P2= p → ̴ r

P3= q v ̴ s

P4= p simplificación de 1

P5= ̴ r modus ponens 2 y 4

P6= ̴q simplificación1

P7= ̴s silogismo disyuntivo3 y 6

P8= ̴r ˄ s̴ adjunción 5y 7

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).
 Conclusion

 la logica matematica nos ayuda a realizar los procesos de pesamiento encontrando sentido
a lo que normalmene realizamos.
 La utiliacion de la logica tiene sus ventajas y desventajas y por lo tanto hay que conocerla y
analizarlas
 La proposicion es el elemento esencial de la logica para la matematica
 Un argumento logico es un razonemiento que parte de una serie de ununciados llamados
premisas se pueden llegar a un resultado llamado conclusion
Referencias bibliográficas

 https://www.monografias.com/trabajos4/logica/logica.shtml
 https://es.scribd.com/doc/313804395/logica-matematica-OBJETIVOS-Este-trabajo-busca-
que-el-estudiante-conozca-y-aplique-los-conceptos-de-logica-proposicional-Conocer-los-
diferentes-ti
 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3227628&ppg=40