CUANTIFICADOR EXISTENCIAL.

EJEMPLOS

En logíca formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase por ejemplo , equivalencia, pertenencia u orden, existen muchos tipos de cuantificadores uno de los mas utilizados el el cuantificador existencial

En el lenguaje de predicados en lógica matemática, se usa el símbolo: , llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto, B, al que hace referencia la variable, que cumple la proposición escrita a continuación,

DEFINICIÓN

PRESENTACIÓN

PENSAMIENTO LOGÍCO MATEMATICO

TAREA 1- PROPOCISIONES Y TABALAS DE VERDAD

PRESENTADO POR: YINA CASTRO MATTA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA