Proposiciones y Tablas de Verdad

PENSAMIENTO LOGICO Y MATEMATICO

Unidad 1

Tarea 1 - Cuantificador Universal Afirmativo,

Proposiciones y Tablas de Verdad

Universidad Nacional Abierta y a Distancia

CEAD Facatativá

2020

Tabla de contenido

Introducción        3

Objetivos        4

Actividades a desarrollar        5

Solución        8

Justificación        12

Conclusión        12

Bibliografía        12

Introducción

En este documento se expondrá una serie de ejercicios y ejemplos de las Proposiciones y Tablas de Verdad, también se verá el Cuantificador Universal Afirmativo allí veremos la explicación y desarrollo de unos ejercicio de práctica, poniendo en claro el cumplimiento el aprendizaje de las tablas de verdad y del Cuantificador Universal Afirmativo.

Objetivos

• Objetivo General.

Aprender a interpretar y a desarrollar el cuantificador universal afirmativo, las proposiciones y las tablas de verdad.

Actividades a desarrollar

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.

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.

Si realiza su presentación en una herramienta office como lo es PowerPoint, por favor en el informe final de la tarea, debe pegar los pantallazos de las diapositivas de su presentación.

Ejercicio 2: Proposiciones y Tablas de verdad 

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de Conocimiento (Unidad 1), las siguientes referencias:

• Rodríguez, V. R. (2013). 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.
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

1. Cali es la capital de la salsa o Medellín es la ciudad de la eterna primavera si y solo si Bucaramanga es la ciudad bonita y Barranquilla es la puerta de oro de Colombia.

1. Si el América clasifica a la Copa Libertadores, entonces jugará más partidos o podrá mostrar más sus jugadores.

1. Si el uso de computador es muy básico en la UNAD y Juan no tiene computador, entonces tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que la universidad le ofrece.

1. El día sin carro en Medellín fue el 12 de febrero y buscan con esta medida reducir los niveles de contaminación, si y solo si, dejan de transitar vehículos particulares o serán sancionados con multa.

1. Si Ibagué es la capital musical de Colombia y cada año se celebra el Festival Nacional de Música Colombiana, entonces se hace homenaje a los intérpretes de los diversos aires colombianos y se busca posicionar la ciudad como musical a nivel nacional.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

• Definir las proposiciones simples del argumento.
• Definir la expresión del argumento en lenguaje simbólico o formal.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
• 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.

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de Conocimiento (Unidad 1), las siguientes referencias:

...