MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
Enviado por rochyp • 31 de Julio de 2022 • Apuntes • 1.179 Palabras (5 Páginas) • 163 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.
...