11 de junio de 2011

Cuantificadores Lógicos

1.  Sea p(x) una función lógica sobre A que se cumple para todos los elementos de A, es decir, “para todo elemento de A, p(x) es verdadero”. El “para todo”, denotado por es el cuantificador universal. Matemáticamente:


2.  Sea p(x) una función lógica sobre A. Entonces la expresión “existe un x, elemento de A, tal que p(x) es verdadero”, es una proposición expresada


El “existe” o “para algún” o “para al menos un”, denotado por , se llama cuantificador existencial y se define:


Para la negación de proposiciones con cuantificadores, se siguen las siguientes reglas:

No hay comentarios:

Publicar un comentario en la entrada