Lógica Matemática Teoría de Conjuntos

ESCUELA : Ciencias de la Computación NOMBRE: Teoría de Conjuntos Ing. Ruth Reátegui BIMESTRE I Bimestre CICLO: Octubre- Febrero 2009

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],CONJUNTO

[object Object],[object Object],[object Object],[object Object],CONJUNTO UNIVERSO B U A

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],CONJUNTO FINITO/INFINITO

[object Object],[object Object],SUBCONJUNTO B A A  B

[object Object],[object Object],[object Object],[object Object],[object Object],SUBCONJUNTO

[object Object],[object Object],[object Object],UNION A={a, e, o} B={a,i, u} AUB= {a,e,i,o,u} A={a, e, o} B={a,e,i,o, u} AUB= {a,e,i,o,u}

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],INTERSECCI ÓN

[object Object],[object Object],DIFERENCIA

[object Object],[object Object],DIFERENCIA SIM É TRICA A B A  B

[object Object],[object Object],[object Object],[object Object],[object Object],COMPLEMENTO A B C B A

[object Object],[object Object],[object Object],[object Object],[object Object],CONJUNTO POTENCIA

RELACI ÓN LÓGICA-CONJUNTOS Conjuntos Proposiciones Descripción A U B p v q La unión es la disyunción A  B p  q La intersección es la conjunción A’  p El complemento es la negación A  B p  q La inclusión es la implicación  F El conjunto vacío es las falsedad o contradicción U V El conjunto universo es una tautología o una verdad absoluta

RELACI ÓN LÓGICA-CONJUNTOS Conmutativa A  B  B  A A  B  B  A Asociativa (A  B)  C  A  (B  C) (A  B)  C  A  (B  C) Distributiva A  (B  C)  (A  B)  (A  C) A  (B  C)  (A  B)  (A  C) Identidad A     A    A Negación A  A ’  U A  A ’   (DN) (A ’ ) ’  A Morgan (A  B) ’  A ’  B ’ (A  B) ’  A ’  B ’ Simplificaci ón A  (A  B)  A A  (A  B)  A Idempotencia A     A    A

RELACI ÓN LÓGICA-CONJUNTOS ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

BIBLIOGRAFÍA P. Iranzo. Lógica Simbólica para Informáticos. RA-MA 2004 ?

Lógica Matemática Teoría de Conjuntos

Lógica Matemática Teoría de Conjuntos

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (20)

Destaque

Destaque (12)

Semelhante a Lógica Matemática Teoría de Conjuntos

Semelhante a Lógica Matemática Teoría de Conjuntos (20)

Mais de Videoconferencias UTPL

Mais de Videoconferencias UTPL (20)

Último

Último (20)

Lógica Matemática Teoría de Conjuntos

Notas do Editor