P4-IS-2015   Natanael Fabricio Quiñonez Diaz 

Ing. Quimica

Nakira Valencias 

Cuatificadore.

Cuantificador Universal.

Para cualquier expresioni de la forma: para todo , todo , para cada , cada , constituye el lenguaje formal un cuantificador universal y se representa simbólicamente por medio de una ∀ invertida.

Cuantificacion Existencial.

Cual expresión existen algún, algunos, por lo menos, basta que uno constituya el lenguaje formal de un cuantificador existencial se simboliza por medio de una Ǝ  invertida.

Ejemplos:

∀(x) x+2x=3x        Ǝ(xy) xy=10           Ǝ(xy) x+y=5

Conjnto Potencia.

Dado un conjunto A su conjnto potencia es aquel que esta formado  por tdos los subconjuntos posible de A. El simbolo que se utiliza para denotar el conjunto potencial:

P(A)= {B/B C A} 

Subconjunto.

El conjunto A es dubconjunto de B si y solo si los elementos de A estan sometidos en B. Simbolicamente esete concepto se representa por: 

ACB <==>∀x(X E A) ----> (X E B )

 

La cardinalidad del potencia.

Es la cantidad de elementos del conjunto potencia se la representa por:

P(A)     N(P(A))=2N(a)

a)  N(A)= 2

b) P(A)= {{*},{#},{*,#}, O }

c) N(P(A))= 2N(a)=2x2=4