Este documento presenta los conceptos básicos de la teoría de conjuntos, incluyendo definiciones de conjunto, subconjunto, unión, intersección, diferencia y complemento. También explica las relaciones lógicas entre operaciones de conjuntos y proposiciones lógicas como la disyunción, conjunción e implicación. Finalmente, enumera propiedades importantes como conmutatividad, asociatividad y distributividad de las operaciones de conjuntos.

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

13. 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

14. 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

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