CUANTIFICADORES
Introducción
La presente investigación se refiere al tema de los cuantificadores, que se puede definir como símbolos que se emplean en los mencionados contextos para poder señalar cuantos o lostipos de elementos que integran un conjunto dado y que cumplen con determinada propiedad. Nos podremos encontrar con una variedad de cuantificadores, aunque, entre los más empleados se cuentan:cuantificador universal y cuantificador existencial.
La característica principal de el cuantificador universal, es que se simboliza así: ∀, es empleado con la misión de establecer que todos los elementosde un conjunto cumplen con una propiedad dada. Por su parte, el cuantificador existencial, será usado para señalar que existen uno o más elementos en el conjunto en cuestión que cumplen con unadeterminada propiedad.
En el siguiente trabajo también se dará a conocer el tema de interés, tal como: la negación de cuantificadores, el cual será explicado de una manera clara y precisa en el desarrollodel mismo.
2
Cuantificadores
1. DEFINICIÓN: En lógica matemática, teoría de conjuntos y matemáticas en general, los 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).
Notación lógica que indica la cantidad o extensión de una proposición.
2. TIPOS:Existen muchos tipos de cuantificadores, entre los más utilizados están:
Cuantificador universal
Para todo x, y...
Cuantificador existencial
Existe al menos un x, y...
Cuantificador existencial únicoExiste exactamente un x, y...
Negación del cuantificador existencial
No existe ningún x, y...
3
Cuantificación universal
El cuantificador universal se utiliza para afirmar que todos loselementos de un conjunto cumplen con una determinada propiedad. Por ejemplo:
Para todo x perteneciente a A, se cumple P(x).
Esta afirmación suele usarse como la equivalente de la proposición siguiente:...
Regístrate para leer el documento completo.