Está en la página 1de 8

LOGICA MATEMATICA

GRUPO: 90004A_761

GUIA DE ACTIVIDADES RUBRICA Y EVALUATIVA - TAREA 2


MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

TUTORA:
PAULA ANDREA MOSQUERA

ELABORADO POR:
THALIA CAROLINA TIRADO ALAVREZ

UNIVERSIDAD NACIONL ABIERTA Y A DISTANCIA (UNAD)


AÑO 2020_1
INTRODUCCIÓN

En esta actividad se desarrollarán las temáticas de razonamientos inductivos, deductivos y las leyes
de inferencia usando como apoyo el simulador de Lógica UNAD para la creación de tabla de la
verdad.

OBJETIVOS

 GÉNERLES
- Conocer los métodos de razonamientos inductivos y las reglas de inferencias.

 ESPECÍFICOS
- Analizar los temas mandados.
- Identificar cada una de las leyes de inferencias y razonamiento deductivo e inductivo.
- Desarrollar los puntos de la guía.
EJERCICIO 1

UNIDAD 2
CONCEPTOS BÁSICOS

LEYES DE LA INFERENCIA
LÓGICA: RAZOMIENTO
LÓGICA
Trata sobre la obtención de LÓGICO:
MATEMÁTICA:
conclusiones a la que llega el lector Es la manera en la que
Es un método utilizado mediante sus conocimientos resolvemos problemas y
para demostrar si un utilizando Modus Ponens, Modus conclusiones mediante un
argumento es válido o Tollens y Silogísmo Hipotético, proceso mental, iniciando
no mediante el uso del estas son leyes que ayudan a dar
una mejor forma a los argumentos. con una observación o una
lenguaje simbólico.
hipótesis.
EJERCICIO 2
B. Si sofía está estudiando, entonces, está realizando las actividades. Sofía no está realizando las
actividades.

Conclusión: SOFÍA NO ESTÁ ESTUDIANDO

Ley de inferencia aplicada: MODUS TOLLENS

Lenguaje simbólico: p→q


~q
___________
~p

EJERCICIO 3
Según los datos vistos en investing.com el precio del bitcoin durante el año 2017 se valorizó
durante cada uno los 12 meses del año. Esto llevó a que personas particulares invirtieran en
bitcoin, dada su tendencia alcista, para obtener ganancias.

p El bitcoin se valorizó los 12 meses del 2017.


q Las personas invirtieron todo el año del 2017.

p → q

Conclusión: Es INDUCTIVO ya que se basaron en la observación y la experiencia que las


personas tienen en el mercado.
EJERCICIO 4

B. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑠 ⟶∼ 𝑟) ∧ (𝑟) ∧ (∼ 𝑠 ⟶∼ 𝑞)] ⟶ (𝑝)


Premisas:
P1: (𝑝 ∨ 𝑞)
P2: (𝑠 ⟶∼ 𝑟)
P3: (𝑟)
P4: (∼ 𝑠 ⟶∼ 𝑞)
Conclusión: (p)
DESARROLLO

P1: (𝑝 ∨ 𝑞) = El grupo de la UNAD va para Sincelejo o Colosó el 24 de junio.


P2: (𝑠 ⟶∼ 𝑟) = Si toman muestras entonces no dictaran charlas.
P3: (𝑟) = Dictaran charlas.
P4: (∼ 𝑠 ⟶∼ 𝑞) = Si no toman muestras entonces no irán a colosó.
Conclusión: (p) = El grupo de la UNAD va para Sincelejo.
TABLA DE VERDAD (SIMULADOR)
TABLA DE VERDAD (MANUAL)

CONCLUSION

En el desarrollo de esta actividad adquirimos conocimientos sobre las leyes de inferencia y


logramos identificar cuando un razonamiento es inductivo o deductivo y así logrando el desarrollo
de los objetivos.
REFERENCIAS BIBLIOGRÁFICAS
• 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)
• 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]
• 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]

También podría gustarte