Está en la página 1de 7

LÓGICA MATEMÁTICA

UNIDAD 2 – TAREA 2

PRESENTADO POR

JULIÁN GIL RAMÍREZ


1020739214

PRESENTADO A

JAVIER ERNESTO RODRÍGUEZ


Director Nacional Lógica Matemática

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


INGENIERÍA DE SISTEMAS

ABRIL 2019
INTRODUCCIÓN

Este trabajo se pretende profundizar los conceptos correspondientes a los métodos para
probar la validez de argumentos, en el cual se contextualiza las reglas de inferencia y
razonamientos deductivos e inductivos, y se aplique a situaciones problemáticas planteadas,
donde se pueda desarrollar el concepto que evidencia el apropiamiento del mismo.
OBJETIVOS

Identificación y aplicación de los diversos métodos para probar la validez de argumentos.

Desarrollo de habilidad en el uso de las reglas de inferencia.

Aplicar tablas de verdad por medio del análisis de premisas.


DESARROLLO DE LA ACTIVIDAD

Ejercicio 1: Conceptualización de las reglas de inferencia

Unidad 2

Leyes de la Inferencia Razonamientos


Lógica Matemática
lógica Lógicos

Actividad Mental que


Lenguaje Natural Lenguaje Formal MPP MTT MTP
estructura ideas

-Conectores lógicos
- Conjunción Negando – afirmo:
-Conectores Modus Ponens: Negando, niego: Razonamiento Razonamiento Razonamiento
-Disyunción [(pvq) ^~p]
Proposiciones lógicas [(p→q)^p] →q [(p→q) ^~q] →~p Inductivo Deductivo Silogismos
-Negación →qo[(pvq) ^~q] →p
-Condicional
-Bicondicional Conclusiones Conclusiones
Unidad fundamental generales a específicas a partir Infiere conclusión a
de la lógica situaciones de la lógica, leyes y partir de premisas
específicas teorías.
Uso de tablas de
verdades

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

Actividad Seleccionada: D

Si hoy vendo gomitas a mis amigos, entonces tendré dinero. Si tengo dinero entonces puedo
comprar un juego.

Conclusión: Si vendo gomitas, puedo comprar un juego.

Ley de inferencia aplicada: (MPP) Afirmando se afirma

Lenguaje simbólico:
p: hoy vendo gomitas a mis amigos
q: Tengo dinero
r: puedo comprar un juego
p→q
q→r

Ejercicio 3: Razonamiento deductivo e inductivo


Todas las ciencias matemáticas se basan en las relaciones entre las leyes físicas y las leyes
de los números, por lo que el objetivo de la ciencia exacta es reducir los problemas de la
naturaleza a la determinación de cantidades mediante las operaciones con números.

Argumentación: El tipo de razonamiento es deductivo, pues se expresa desde lo general


hasta su fin particular, si bien es cierto que las matemáticas son una ciencia básica, regida
por las leyes naturales, entonces su objetivo sí o sí será: analizar y determinar los diversos
escenarios posibles en cantidades o simulaciones mediables en cantidades numéricas.

Ejercicio 4: Problemas de aplicación

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

Premisas:

P1: ¬𝑝𝑝→¬𝑟𝑟
P2: ¬𝑝𝑝→¬𝑟𝑟
P3: 𝑠𝑠∧𝑟𝑟

Conclusión ¬𝑞𝑞

Proposiciones simples

p: La Selección Colombia juega en Barranquilla


r: La selección Colombia tiene sede de preparación
s: La selección Colombia se prepara para la Copa América
q: La selección Colombia queda campeón del torneo continental

Lenguaje Natural

La selección Colombia NO juega en Barranquilla ENTONCES no tiene sede de preparación Y


se está preparando para la Copa América, ENTONCES no será campeón del torneo
continental Y la Selección se prepara para la Copa América y tiene su sede de preparación,
ENTONCES Colombia no quedará campeón del Torneo Continental.

Tabla de verdad
CONSLUSIONES

Se desarrollaron estrategias útiles para el manejo de la teoría de conjuntos. Además que se


implemento el conocimiento necesario, para el crecimiento lógico del futuro ingeniero.

Se logro evidenciar una buena apropiación y dominio del tema, al formular problemas
matemáticos, basados en requerimientos planteados.

BIBLIOGRAFÍA
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -
Grupo Editorial Patria. (pp. 29-38). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=1101
3570&tm=1492519542738

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=11046
000&tm=1492520104862