Este documento presenta una introducción a los cuantificadores en lógica, incluyendo cuantificadores existenciales y universales. Explica que los cuantificadores indican cuántos objetos cumplen con una propiedad dada y proporciona ejemplos de cómo usar cuantificadores existenciales para formalizar oraciones como "Algunos estudiantes han estudiado programación". También incluye una bibliografía de dos fuentes.
Original Description:
UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD
Este documento presenta una introducción a los cuantificadores en lógica, incluyendo cuantificadores existenciales y universales. Explica que los cuantificadores indican cuántos objetos cumplen con una propiedad dada y proporciona ejemplos de cómo usar cuantificadores existenciales para formalizar oraciones como "Algunos estudiantes han estudiado programación". También incluye una bibliografía de dos fuentes.
Este documento presenta una introducción a los cuantificadores en lógica, incluyendo cuantificadores existenciales y universales. Explica que los cuantificadores indican cuántos objetos cumplen con una propiedad dada y proporciona ejemplos de cómo usar cuantificadores existenciales para formalizar oraciones como "Algunos estudiantes han estudiado programación". También incluye una bibliografía de dos fuentes.
Unidad 1: Tarea 1 - Proposiciones y tablas de verdad
Ejercicio 1: Conceptualización de Cuantificadores
HELBER RAFAEL BAHOQUE SARMIENTO
TUTOR RANDY ZABALETA
PENSAMIENTO LOGICO Y MATEMATICO
200611_739
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA INGENIERÍA INDUSTRIAL 2018 CUANTIFICADORES A una palabra o una frase que indique cuántos objetos cumplen con determinada propiedad se le llama cuantificador. Los cuantificadores se clasifican como: a) Existenciales: "existe", "algún", "por lo menos uno", entre otros. b) Universales: "para todo", "ninguno". Cuantificador Existencial Este tipo de cuantificador indica que algún o algunos valores son verdaderos dentro de un dominio o contexto específico. De acuerdo a [3], sea A una expresión, y sea x una variable. Si deseamos indicar que A es verdadero para cuando menos un valor de x, escribiremos xA. Esta frase se lee “existe un x tal que A”. Aquí, xA se denomina cuantificador existencial, y se dice que A es el ámbito (alcance) del cuantificador existencial. Se dice que la variable x está ligada por el cuantificador. El símbolo se lee “existe al menos”. Cuantificador Existencial Algunas de las frases con la que se identifica generalmente este cuantificador son: Existe al menos un x Para algún x Para algunos x Existe un x tal que Algunos x Cuando menos un x Cuantificador Existencial Ejemplos: 1. Formalizar la expresión: “Algunos estudiantes de meca trónica han estudiado programación” como una cuantificación existencial. Sea P(x) = “x ha estudiado programación”. Donde x = “Alumnos de la UNAD”. Entonces se puede expresar como: xP(x) que se lee “Existen algunos alumnos de la UNAD que han estudiado programación”. Cuantificador Existencial 2. Por ejemplo si se desea representar la expresión: “Algunos estudiantes son deportistas”, se podría reestructurar y representar de la siguiente manera: "Existe por lo menos un x tal que, x es universitario y x es deportista”. x (Universitario(x) ^ deportista (x)) BIBLIOGRAFIA Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&d ocID=3199701&tm=1529510366591
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1047 3069