MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
rochypApuntes31 de Julio de 2022
1.179 Palabras (5 Páginas)235 Visitas
UNIDAD 1- TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
FANNY ROCIO PUERTO LARA
1053609544
Pensamiento Lógico y Matemático
Universidad Nacional Abierto y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería Industrial
Paipa, 03 de Julio 2022
UNIDAD 1- TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
FANNY ROCIO PUERTO LARA
1053609544
Pensamiento Lógico y Matemático
Magister
JENNIFER KARINA SALGADO VIVAS
Tutora
Universidad Nacional Abierto y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería Industrial
Paipa, 03 de Julio 2022
INTRODUCCIÓN
En el presente trabajo realizaremos cuatro ejercicios que hacen referencia a los conceptos del tema métodos para probar la valides de argumentos, en el cual formularemos un lenguaje simbólico y un lenguaje natural, realizaremos un análisis de conectores lógicos y generar una tabla de verdad, aplicaremos las leyes de inferencia para a si demostrar la validez del argumento.
Objetivos
- Reconocer y aplicar las leyes de inferencia en las proposiciones planteadas.
- Realizar la formulación de proposiciones para escribirlas en lenguaje simbólico y lenguaje natural.
- Analizar las premisas y así crear las tablas de verdad.
EJERCICIO 1
Descripción del ejercicio:
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:
q: En los juegos Olímpicos de invierno se utiliza nieve artificial.
r: El calentamiento global amenaza los deportes de nieve.
s: En Beijing 2022 se utiliza 100% de nieve artificial.
[pic 1]
(~q ↔ ~r) → ~s
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
- Escribir la proposición compuesta propuesta en un lenguaje natural.
En los juegos Olímpicos de invierno no se utiliza nieve artificial si y solo si el calentamiento global no amenaza los deportes de nieve entonces en Beijing 2022 no se utiliza 100% de nieve artificial.
- Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción.
q | r | s | ~q | ~r | ~s | (~q ↔ ~r) | (~q ↔ ~r) → ~s |
V | V | V | F | F | F | V | F |
V | V | F | F | F | V | V | V |
V | F | V | F | V | F | F | V |
V | F | F | F | V | V | F | V |
F | V | V | V | F | F | F | V |
F | V | F | V | F | V | F | V |
F | F | V | V | V | F | V | F |
F | F | F | V | V | V | V | V |
|
|
|
|
| CONTINGENCIA |
- Generar la tabla de verdad a través del simulador Lógica UNAD.
[pic 2]
EJERCICIO 2
Identificación de las reglas de la inferencia lógica.
[pic 3]
- Nombrar la ley de inferencia que representa cada expresión simbólica.
[pic 4]
Ley de inferencia Modus tollendo tollens (TT).
[pic 5]
Ley de inferencia Silogismo Hipotético (SH).
[pic 6]
Ley de inferencia Tollendo Ponens (TP).
- Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en un contexto, el que se solicita es un contexto académico:
[pic 7]
s: rocio estudia de forma virtual en la UNAD.
r: rocio estudia ingeniería industrial.
[pic 8]
p: La UNAD Universidad de alta calidad.
q: Todos los programas son 100% presenciales.
s: Sus estudiantes tienen los mejores trabajos en Colombia.
[pic 9]
q: La UNAD ofrece pregrados virtuales y a distancia.
s: La UNAD tiene pregrados virtuales.
- Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
[pic 10]
s: rocio estudia de forma virtual en la UNAD.
r: rocio estudia ingeniería de industrial.
Rocio no estudia de forma virtual en la UNAD, entonces rocio no estudia ingeniería industrial. rocio estudia ingeniería de industrial, rocio estudia de forma virtual en la UNAD.
[pic 11]
p: La UNAD Universidad de alta calidad.
q: Todos los programas son 100% presenciales.
s: Sus estudiantes tienen los mejores trabajos en Colombia.
La UNAD Universidad de alta calidad, entonces Todos los programas no son 100% presenciales, todos los programas no son 100% presenciales, entonces sus estudiantes tienen los mejores trabajos en Colombia, La UNAD Universidad de alta calidad, entonces Sus estudiantes tienen los mejores trabajos en Colombia.
[pic 12]
q: La UNAD ofrece pregrados virtuales y a distancia.
s: La UNAD tiene pregrados virtuales.
La UNAD ofrece pregrados virtuales y a distancia, o La UNAD tiene pregrados virtuales, La UNAD no tiene pregrados virtuales, La UNAD ofrece pregrados virtuales y a distancia.
...