República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación Universitaria
Universidad Nacional Experimental “Rómulo Gallegos”
Lógica Matemática.
CUANTIFICADORES
Alumnos: Docente:
Aponte Lewis Ci. Carlos Camejo
Díaz Kengerlys Ci. 24.407.608
Zumosa Diego Ci.
San Juan de los Morros, 03/09/2019
Friedrich Ludwig Gottlob Frege. Fue un matemático, lógico y filosofo
alemán, Se le considera el padre de la lógica matemática y de la filosofía
analítica, concentrándose en la filosofía del lenguaje y de las matemáticas.
1.- Definición de Cuantificadores.
Son símbolos utilizados para indicar cuántos o qué tipo de elementos de
un conjunto dado cumplen con cierta propiedad (por ejemplo, pertenencia,
equivalencia u orden).
2.- Tipos de Cuantificadores.
Cuantificador universal: Indica que algo es cierto para todos los
individuos.
Sea A una expresión y sea x una variable. Si deseamos
indicar que A es verdadero para todos los posibles valores de x,
escribiremos (∀𝑥) A.
*(∀𝑥) es un cuantificador universal.
*𝐴 es el ámbito (alcance) del cuantificador.
*El símbolo ∀ se lee “para todo”.
Ejemplo: Expresar “todos los gatos tienen cola” en calculo de predicados.
Solución: Hallar primero el ámbito del cuantificador universal, que es “Si x es
un gato, entonces x tiene cola” y se define como:
Gx ↔ x es un gato
Cx ↔ x tiene cola
(∀x) Gx → Cx
Cuantificador existencial: Indica que algo es cierto para algunos
individuos.
*(∃𝑥)P(x) ó ExP(x) y se lee “existe un x tal que P”
*Se interpreta como: P(a1) V P(a2) V P(a3) V … V P(an)
Ejemplo: Formalizar la expresión: “Algunos estudiantes de mecatrónica han
estudiado programación” como una cuantificación existencial.
Solución: Sea P(x): “x ha estudiado programación”.
Donde x: “alumnos del ITESCAM”.
Entonces se puede expresar como: (∃𝑥)P(x) que se lee “Existe algunos alumnos
del ITESCAM que han estudiado programación”.
Cuantificador existencial único: Indica que hay un único elemento
de un conjunto A que cumple una determinada propiedad.
*Se escribe: ∃! 𝑥 ∈ 𝐴: (𝑃𝑥)
*Se lee: Existe un único elemento x de A, que cumple P(x).
Ejemplo:
Ejemplo: P(x): x/x es rector de la universidad del Quindio
Existe un único rector en la universidad del Quindio.
∃! 𝑥: 𝑝(𝑥): Existe un único x tal que x es rector de la Universidad del Quindio.
Negación del cuantificador existencial: La negación de cualquiera
de los cuantificadores se realiza negando la función proposicional
P(x) y cambiando el cuantificador universal por el cuantificador
existencial, o viceversa.
Así:
Proposición Negación
Existencial ∃ (existe) ∀
Universal ∀ (para todos) ∃
Algunos Ningún
Ningún Algunos
Todos Algunos no
Algunos no… Todos
Ejemplo: Determinar la negación de cada uno de los siguientes enunciados:
Se considera la siguiente simbolización:
P(x): x presta atención a la case.
A.- Algunos estudiantes no prestan atención a la clase.
Simbolización: ∃𝑥 (¬ P(x))
Negación: ¬ { ∃𝑥 (¬ P(x))} ≡ ∀𝑥 Px
B.- Hay estudiantes que prestan atención a la clase.
Simbolización: ∃𝑥 P(x)
Negación: ¬ { ∃𝑥 P(x)} ≡ ∀𝑥 {¬ P(x)}
C.- Ningún estudiante presta atención a la clase.
Simbolización: ∀𝑥 (¬ P(x))
Negación: ¬ { ∀𝑥 (¬ P(x))} ≡ ∃𝑥 P(x)
Bibliografía
Https://[Link]
Https://[Link]
Https://[Link]
Https://[Link]
Https://[Link]
