978 - Tarea - 1 - Tatiana Franco

Descargar como doc, pdf o txt
Descargar como doc, pdf o txt
Está en la página 1de 11

PENSAMIENTO LÓGICO Y MATEMÁTICO

TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

ESTUDIANTE:
JEIMMY TATIANA FRANCO ROMERO
1054658947

GRUPO:
200611_978

TUTORA:
LUZ MERY RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


LICENCIATURA EN PEDAGOGIA INFANTIL
SEPTIEMBRE 2021
INTRODUCCIÓN:
La lógica es una ciencia que estudia los principios de la demostración de los argumentos
mediante una validez de comprobación de expresiones que pueden ser evaluadas de dos formas
diferentes, las cuales son, ciertas o falsas, pero que no pueden concluir el mismo resultado
simultáneamente.
Este trabajo contiene información precisa del desarrollo de ejercicios basados y utilizando
proposiciones simples o compuestas, tablas de verdad, formulas lógicas, reglas de inferencia
lógica, simbología y su significado que podemos encontrar en un lenguaje sencillo y fácil de
entender y un orden específico para ir avanzando en cada uno de ellos. Nos permite aprender a
interpretar las tablas de verdad y las diferentes formas en la que se nos pueden presentar, nos
ayuda a entender mejor el estudio de las inferencias y el pensamiento.
OBJETIVOS:
1. Desarrollar los 4 ejercicios Unidad 1 -Tarea 1 - Métodos para probar la validez de
argumentos de la guía de aprendizaje.

2. Comprender y analizar determinadas proposiciones, oraciones, y llevarlas a un


lenguaje simbólico.

3. Entender la simbología y su significado, de tal manera que podamos reemplazar una


frase en lenguaje simbólico y un lenguaje simbólico en frase.

4. Amigarnos muy bien con las tablas de verdad pues estas serán nuestra guía más
profunda en el desarrollo de los ejercicios.

5. Diferenciar las diferentes reglas de inferencia para poder determinarlas en una


proposición.

6. Finalmente adquirir los conocimientos necesarios para poder probar la validez de un


argumento.
DESARROLLO DE LOS 4 EJERCICIOS PRESENTADOS EN LA GUÍA DE
ACTIVIDADES.
PROPOSICIONES Y TABLAS DE VERDAD
EJERCICIO 1
Selección de letra: A
p: El virus del COVID 19 se dispersa en las aglomeraciones
q: Los contagios aumentan en las reuniones de personas
r: Una persona se puede contagiar al entrar en contacto con un sólo contagiado.
Lenguaje simbólico: [(¬𝒑∧𝒓)∧(𝒑→𝒒)]
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

➢Escriba la proposición compuesta propuesta en lenguaje natural.

El virus del COVID 19 NO se dispersa en las aglomeraciones y una persona se puede contagiar al entrar
en contacto con un solo contagiado. SI el virus del COVID 19 se dispersa en las aglomeraciones
ENTONCES Los contagios aumentan en las reuniones de personas.

➢ 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.

𝒑 𝒒 𝒓 ¬𝒑 (¬𝒑∧𝒓) (𝒑→𝒒) [(¬𝒑∧𝒓)∧(𝒑→𝒒)]


V V V F F V F
V V F F F V F
V F V F F F F
V F F F F F F
F V V V V V V
F V F V F V F
F F V V V V V
F F F V F V F

El resultado de la tabla es una CONTINGENCIA.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del simulador
lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de aprendizaje en la
carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez
de argumentos.
Link Video:
https://www.youtube.com/watch?v=wwrDgik-K5o

identificación de las reglas de la inferencia lógica


Ejercicio 2:
1.

Ley de inferencia: Adjunción (A)


2 premisas concluyen una conjunción.
Proposiciones simples:
P: Carlos madruga el lunes a clase
q: Sale más temprano de su casa
Lenguaje natural:
Carlos madruga el lunes a clase Y Sale más temprano de su casa
2.

Ley de inferencia: Silogismo disyuntivo (DS)


3P: una disyunción y dos condicionales cuyo antecedente es uno de los miembros de la disyunción. Una
conclusión (disyunción de los consecuentes de las condicionales.
Proposiciones simples:
p: María asiste a las web conferencias
q: María presenta sus tareas oportunamente
r: El promedio académico de María es superior.
Lenguaje natural:
María asiste a las web conferencias O María presenta sus tareas oportunamente
Si María asiste a las web conferencias Entonces el promedio académico de María es superior.
Si María presenta sus tareas oportunamente Entonces el promedio académico de María es superior. En
conclusión, El promedio académico de María es superior.

3.

La ley de inferencia es: Silogismo Hipotético


Si p implica q y q implica r, entonces p implica r
Proposiciones simples:
p: Sara asiste a clases virtuales
q: Sara descansa los fines de semana
r: Sara aprende mucho más en sus clases.
Lenguaje natural:
Si Sara asiste a clases virtuales Entonces no descansa los fines de semana
Si Sara no descansa los fines de semana Entonces Sara aprende mucho más en sus clases. En conclusión,
Si Sara asiste a clases virtuales Entonces Sara aprende mucho más en sus clases.

Aplicación de las reglas de la inferencia lógica

Ejercicio 3:

A. Si Alejandro realiza periódicamente ejercicio entonces Alejandro disminuye el nivel de estrés.


Alejandro disminuye el nivel de estrés entonces Alejandro elimina la carga estática acumulada.
a. Conclusión: Alejandro elimina la carga estática acumulada.
b. Ley de inferencia aplicada: Silogismo hipotético
c. Lenguaje simbólico:
p→q
q→r
_____
r

Problemas de aplicación
Ejercicio 4:
Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la
conclusión de un argumento para el desarrollo del ejercicio 4:

1. Proposiciones simples:
p: La universidad UNAD oferta maestrías en contabilidad
q: Andrea se inscribió a la maestría
r: Aceptaron a Andrea en la UNAD para hacer su maestría
2. Lenguaje natural:

Si la universidad UNAD oferta maestrías en contabilidad Entonces Aceptaron a Andrea en la UNAD


para hacer su maestría Y No aceptaron a Andrea en la UNAD para hacer su maestría. Andrea se
inscribió a la maestría. En conclusión, la universidad UNAD No oferta maestrías en contabilidad.
3. Tabla de verdad manual

p q r ˜r ˜p (p → r) ( ˜r ∧ q) (p → r) ∧ ( ˜r ∧ q) [(p → r) ∧ ( ˜r ∧ q)] →˜p


V V V F F V F F V
V V F V F F V F V
V F V F F F F F V
V F F V F F F F V
F V V F V V F F V
F V F V V V V V V
F F V F V V F F V
F F F V V V F F V

Se clasifica como: TAUTOLOGÍA


4. Tabla de verdad Simulador UNAD:

5. Demostración de la validez del argumento mediante las leyes de la inferencia lógica


Premisas:
P1: (p → r): Modus ponens (MPP)
P2: (˜r ∧ q): Simplificación (Simp)
Conclusión: ˜p

CONCLUSIONES:

1. Se analizan proposiciones y se comprenden las diferentes premisas y letras minúsculas,


las cuales deben ir desde la letra p.

2. Se identifican muy bien el significado de la simbología, los nexos lógicos y su


significado.

3. Se lleva a su desarrollo el lenguaje natural y el lenguaje simbólico, realizando y


reemplazando el orden correspondiente.

4. Comprender y ejecutar las tablas de verdad manuales consignado en ellas correctamente


el lenguaje simbólico, determinando de acuerdo con sus valores el resultado final, si este
es tautología, contradicción e indeterminación.

5. Se estudian las diferentes reglas de inferencia, comprendiéndolas para luego aplicarlas en


los ejercicios desarrollados.

6. Se comprenden el desarrollo de la actividad, y pude desarrollarla a cabalidad.

7. Se adquieren muchos conocimientos, y fue muy satisfactorio culminar la actividad.

BIBLIOGRAFÍA: Matemática básica para administradores. (pp. 13-27).


Universidad Peruana de Ciencias Aplicadas (UPC). Recuperado
de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

. Una introducción a las matemáticas discretas y teoría de grafos.


Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado
de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado
de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20
Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). 
México, D.F, Larousse - Grupo Editorial Patria. Recuperado
de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30
Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871 

También podría gustarte