Tablas de verdad 2 - Paso 1 pensamiento logico matematico PDF

Preview

Summary

Paso 1 pensamiento logico matematico...

Description

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Daniela Lopez Mora

Docente John Jairo Getial

Curso Pensamiento lógico y matemático

Grupo 471

SEVILLA VALLE DEL CAUCA 2018

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

Entender y aplicar los procedimientos para la realización debida de las tablas de verdad, cumplir con los objetivos establecidos para el entendimiento y cumplimiento optimo del paso 2 del curso Pensamiento lógico matemático.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCION En este trabajo desarrollamos diferentes procesos para la realización de tablas de verdad, se hacen varios ejercicios para la obtención de resultados además de hacer uso educativo de herramientas digitales como Excel, Word y el simulador Truth tables.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Actividades a desarrollar

Tarea 1: Proposiciones E:

p: en la UNAD hay 5 periodos académicos anualmente q: La UNAD tiene 3 periodos de 8 semanas cada uno (𝑝∧¬𝑝 ) →(¬ 𝑝)

Proposición compuesta en lenguaje Natural: En la UNAD hay 5 periodos académicos anualmente y no tiene 3 periodos de 8 semanas cada uno, entonces la UNAD no tiene 3 periodos de 8 semanas cada uno.

Determinación del valor de verdad: p: V es verdadera por que la UNAD tiene 5 periodos académicos. q: F

es falsa por que la UNAD tiene 5 periodos académicos.

Reemplazamos (𝑝^¬𝑝) → (¬ 𝑝) (V^¬F) → (¬V) V

= V V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 2: Tablas de verdad

E:

Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril

no tiene 31 días

Expresión en lenguaje simbólico o formal

Definición de proposiciones simples: Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31 días

Determinación de conectores: Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31 días

Expresión en lenguaje formal: p: enero tiene 31 días q: febrero 28 días r: marzo tiene 31 días s: abril no tiene 31 días (p^q) → (r^s)

Tabla de verdad

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador truth

La expresión es una contingencia y el simulador coincide con la tabla.

Tarea 3: Problemas de aplicación

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

E: [[(𝑝→𝑝 ) ∧ (𝑝→𝑝)] ∧ [(𝑝 ∧ ) →𝑝] ∧ (∧ ∧)] →𝑝 Definición de las proposiciones simples: p: la semana tiene 168 horas q: el dia tiene 24 horas r: un año tiene 365 días s: enero tiene 31 días t: la semana tiene 7 días

Lenguaje natural de la expresión formal Si la semana tiene 168 horas entonces el día tiene 24 horas y si un año tiene 365 días entonces enero tiene 31 días y si el día tiene 24 horas y enero tiene 31 días entonces la semana tiene 7 días y si la semana tiene 168 horas y un año tiene 365 días entonces la semana tiene 7 días. Tabla de verdad

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSION En conclusión uno de los mayores logros alcanzados fue sin duda alguna el excelente entendimiento del tema tratado en este trabajo, se logró el óptimo manejo del simulador Truth tables y un buen desempeño con las herramientas de Word y Excel. Un trabajo bien diseñado y con un objetivo claro que permitió desarrollar a gusto cada uno de sus puntos.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRAFICAS

Aplicaciones de las Tablas de Verdad Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones. Recuperado de http://hdl.handle.net/10596/7961

Conceptos de la Lógica Proposicional Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? docID=11013570&ppg=30

Conectores Lógicos y Tablas de Verdad Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? ppg=166&docID=11046000&tm=1489704594878

TABLAS DE VERDAD Julio profe – YouTube https://www.youtube.com/watch?v=pwJK-4Op438

Video de Apoyo Uso de Tablas de Verdad – UNAD https://www.youtube.com/watch?v=vtzznU68L5g....