sábado, 16 de mayo de 2015



CUANTIFICADORES


Existen dos tipos de cuantificadores; Cuantificador Universal y Cuantificador Existencial.

Cuantificador Universal.- Este se utiliza para cualquier expresión que sea: Para todo, todo, Para cada, cada,  constituye un lenguaje formal y se simboliza por medio de  \forall .

Cuantificador Existencial.- Se utiliza cualquier expresión que sea: Existe, algún, alguno, por lo menos uno, basta que, constituye un lenguaje formal y se lo simboliza por medio de  \exists .


Conjunto Potencia.- Es aquel que esta formado por todos los subconjuntos posibles de A.
El símbolo que se utiliza para denotar el conjunto potencia es P(A)= { B/B \subseteq \! A}

Todo conjunto potencia tiene como subconjunto al conjunto vacío y al conjunto dado.

B: { a, %, $ }

a) N(B) = 3
b) P(B) = {{a} , {%} , {$}, {a,%} , {%,$} , {a,$} , B,} 
c) N(P(B)) =  23  =8



No hay comentarios:

Publicar un comentario