Unidad 1 - Lógica Proposicional

[pic 1]

CURSO PENSAMIENTO LÓGICO Y MATEMÁTICO

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad.

Actividad 1. Ejercicio 1: Conceptualización de Cuantificadores

PRESENTADO POR:

ANDRES MAURICIO CALDERON NUÑEZ

CÓDIGO 1075209361

CURSO 200611  – GRUPO 1262

LEON DAVID SOSAPANTA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y DE NEGOCIOS

PROGRAMA CONTADURÍA PÚBLICA

12 DE SEPTIEMBRE DE 2018

Tabla de contenido

Introducción  3

Objetivos 4

Objetivo general. 4

Objetivos específicos 4

Actividades a desarrollar  5

Conclusiones  11

Bibliografía  12

Introducción

El enfoque principal al realizar la presente actividad es comprende los conceptos fundamentales de la lógica proposicional y aplicarlo para la resolución de problemas.

El estudio y comprensión de Lógica proposicional.

Objetivos

Objetivo general.

Identifica los conceptos básicos y fundamentales de la lógica proposicional y los aplica para la resolución de problemas.

Temas:

Unidad 1 - Lógica Proposicional

Objetivos específicos

• Desarrollar los contenidos de aprendizaje de los conocimientos de las Proposiciones, tablas de verdad y cuantificadores.
• Proposiciones y Conectores lógicos.
• Tablas de verdad

Actividades a desarrollar

    La tarea de esta unidad se compone de una serie de ejercicios que se describen a continuación:

Ejercicio 1: Conceptualización de Cuantificadores  

    Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de Conocimiento (Unidad 1), la siguiente referencia:

• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de los siguientes temas y presentarlo de manera gráfica a través de una presentación, utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir del tema deberá dar su definición y dos ejemplos.

Los temas propuestos son:

A.        Cuantificadores en la Lógica Matemática. (Si es posible dar precisión de la ubicación del tema dentro del contenido)

B.        Cuantificador Universal.

C.        Cuantificador Existencial.

D.        Cuantificador Existencial Único. (Corresponde al que yo escogí)

E.        Negación de Proposiciones con Cuantificadores

En el caso de seleccionar la herramienta PREZI, debe dirigirse a la página web https://prezi.com/es/ y realizar la apertura de una cuenta para lograr hacer uso de la herramienta, posteriormente debe colocar el enlace de la presentación en el documento que consolidará para entregar en el entorno de seguimiento y evaluación.

...