MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
Enviado por Maria Alejandra G. Giraldo • 22 de Octubre de 2020 • Práctica o problema • 1.156 Palabras (5 Páginas) • 1.054 Visitas
MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
Tarea 1
Profesor Hugo López
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
INGENIERÍA DE SISTEMAS
LÓGICA Y MATEMÁTICAS
GRUPO 200611_369 BOGOTÁ D.C
2020
INTRODUCCIÓN
En el presente trabajo elaboraremos una serie de ejercicios sobre la lógica proposicional, pues el taller nos ofrece cuatro puntos que abarcan el manejo de las fórmulas lógicas, la elaboración de las tablas tanto manuales, como elaboradas en el simulador que nos ofrece la UNAD, también el comprender y elaborar las leyes de inferencia lógica a partir de ejemplos que nosotros mismos elaboramos para así poder desarrollar adecuadamente los ejercicios planteados.
OBJETIVOS
- Identificar la simbología de la lógica proposicional.
- Comprender e interpretar en un argumento cuales son las premisas y la conclusión.
- Entender el lenguaje simbólico.
- Elaborar correctamente las tablas de verdad.
- Exponer adecuadamente el significado y uso de las leyes de inferencia lógica.
EJERCICIO 1: Proposiciones y tablas de verdad (A)
- Proposiciones simples p: El 2020 fue un año atípico para todo el mundo q: El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción
- Lenguaje simbólico
(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)
- Lenguaje natural
El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en muchos campos de acción y si y solo si el 2020 fue un año atípico para todo el mundo, entonces el COVID19 afectó gran parte de la economía.
- Tabla manual
p | r | q | p ∨ r | p ↔ q | (p ∨ r) ∧ (p ↔ q) |
V | V | V | V | V | V |
V | V | F | V | F | F |
V | F | V | V | V | V |
V | F | F | V | F | F |
F | V | V | V | F | F |
F | V | F | V | V | V |
F | F | V | F | F | F |
F | F | F | F | V | F |
- Se clasifica cómo: Contingencia o indeterminación.
- Tabla de verdad simulador UNAD
[pic 1]
- Link del vídeo: https://youtu.be/NPRNHu_CQac
Ejercicio 2: Identificación de las reglas de la inferencia lógica. (A)
- 1) Expresión simbólica
[pic 2]
- Ley de la inferencia de expresión: Modus ponendo ponens o MPP.
- Proposiciones simples:
r: Sol Angel estudia ingeniería mecánica s: Sol Angel le gusta la matemática.
- Lenguaje natural
Si Sol Angel estudia ingeniería mecánica, entonces le gusta la matemática. Sol Angel estudia ingeniería mecánica. Por lo tanto, le gusta la matemática.
- 2) Expresión simbólica
[pic 3]
- Ley de la inferencia de expresión: Modus tollendo tolens o MTT.
- Proposiciones simples:
q: Camilo se gradúa de ingeniería en sistemas.
P: Camilo pasa matemáticas especiales.
- Lenguaje natural
Si Camilo pasa matemáticas especiales, entonces se gradúa de ingeniería en sistemas. Camilo no se gradúa de ingeniería en sistemas. Por lo tanto, no pasa matemáticas especiales.
- 3) Expresión simbólica
[pic 4]
- Ley de la inferencia de la expresión: Silogismo hipotético o SH.
- Proposiciones simples:
p: Victoria pasa Lógica y matemáticas. q: Victoria pasar el semestre.
...