Pensamiento logico matematico

Tarea 1 Métodos para probar la validez de argumentos

Nombre:

Profesor:

Universidad: UNAD

Materia: PLM

Carrera:

Año

Introducción.

La lógica es una rama de la matemática la cual se intenta usar el lenguaje matemático para encontrar verdades o respuestas y demostraciones para no caer en errores.

En el siguiente taller se van a realizar distintos talleres de inferencia con la meta de crear proposiciones para llegar a conclusiones lógicas. Para llegar a estas conclusiones se utilizarán distintas herramientas como las tablas de verdad o leyes de inferencia lógica las cuales se manejarán en lenguaje lógico y lenguaje natural.

Objetivo General

Comprender las definiciones de tablas de verdad y leyes de inferencia lógica y aplicar las mismas para resolver los argumentos.

Objetivos específicos

Utilizar las tablas de verdad para mostrar los valores de verdad las proposiciones compuestas de los distintos ejercicios

Identificar las leyes de inferencia lógica aplicadas en las proposiciones para poder convertirlas de manera exitosa a lenguaje natural

Convertir a lenguaje matemático el lenguaje natural e identificar la ley de inferencia aplicada en la proposición compleja.  

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

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

[pic 1]

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

el virus del covid 19 no se dispersa en aglomeraciones y una persona se puede contagiar al entrar en contacto con un solo contagiado, y si el virus del Covid 19 se dispersa en 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.

[pic 2]

El resultado es 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

[pic 3]

Ejercicio 2: Identificación de las reglas de la inferencia lógica

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia.

[pic 4]

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

[pic 5]

Ley de inferencia: Adjunción

[pic 6]

Ley de inferencia: Simplificación disyuntiva

[pic 7]

Ley de inferencia: Silogismo hipotético

➢ 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 (puede usar las mismas proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas), ejemplo:

• p: Carlos estudia en la UNAD

• q: La UNAD es una Universidad Pública

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas correctivas estipuladas por la UNAD.

• P: La unad es una universidad virtual
• Q: La Unad guarda videos de sus clases
• R: puedo revisar las clases en mi casa

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico

[pic 8]

La unad es una universidad virtual. La unad guarda videos de sus clases. Por lo tanto, la unad es una universidad virtual y la Unad guarda videos de sus clases

[pic 9]

La unad es una universidad virtual o la unad guarda videos de sus clases. Si la unad es una universidad virtual entonces puedo revisar las clases en mi casa. Si la unad guarda videos de sus clases entonces puedo revisar las clases en mi casa. Por lo tanto, puedo revisar las clases en mi casa.

...