Your SlideShare is downloading. ×
Resultados Importantes - Teoremas Teoría de Conjuntos
Resultados Importantes - Teoremas Teoría de Conjuntos
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Resultados Importantes - Teoremas Teoría de Conjuntos

830

Published on

Resultados Importantes - Teoremas Teoría de Conjuntos …

Resultados Importantes - Teoremas Teoría de Conjuntos

Documento en Google Docs: https://docs.google.com/document/d/1xXRvVA9gfiuXw3Bi2WMR7Ehfoggyi55grp6J0XTH4l4/edit?usp=sharing

Published in: Education
1 Comment
0 Likes
Statistics
Notes
  • Be the first to like this

No Downloads
Views
Total Views
830
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
3
Comments
1
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Resultados Importantes ­ Teoremas Teoría de Conjuntos1En las  tablas que  se  presentan  a  continuación  se muestra la analogía las propiedades dela teoría de conjuntos con las propiedades correspondientes en lógica: ⋂ ­Identidad A⋂U = A ⋃ ­Identidad A⋃∅ = A ⋂ ­Dominancia A⋂∅ = ∅ ⋃ ­Dominancia A⋃U = U ⋂ ­Idempotencia A⋂A = A ⋃ ­Idempotencia A⋃A = A C Doble complemento (AC) = A ⋂ ­Conmutatividad A⋂B = B⋂A ⋃ ­Conmutatividad A⋃B = B⋃A ⋂ ­Asociatividad A ⋂ (B ⋂ C ) = (A ⋂ B) ⋂ (A ⋂ C ) ⋃ ­Asociatividad A ⋃ (B ⋃ C ) = (A ⋃ B) ⋃ (A ⋃ C ) Distributividad  ⋂ / ⋃ A ⋂ (B ⋃ C ) = (A ⋂ B) ⋃ (A ⋂ C ) Distributividad  ⋃ / ⋂ A ⋃ (B ⋂ C ) = (A ⋃ B) ⋂ (A ⋃ C ) De Morgan (A ⋃ B)C = AC ⋂ BC De Morgan (A ⋂ B)C = AC ⋃ BC Absorción A ⋃ (A ⋂ B) = A Absorción A ⋂ (A ⋃ B) = A Medio excluído A ⋃ AC = U Contradicción A ⋂ AC = ∅1  Resumen de notas de clase curso de Matemática Estructural y Lógica (Ingeniería de Sistemas y Computación­ Universidad de los Andes)
  • 2. Definición de  ⊆ A ⊆ B = (∀x : U  | : x ∈ A ⇒ x ∈ B)Contrapositiva A ⊆ B = BC ⊆ ACDistributividad  ⊆ / ⋂ A ⊆ (B ⋂ C ) = (A ⊆ B) ⋂ (A ⊆ C )

×