WisFaq!

\require{AMSmath} geprint op zaterdag 23 november 2024

Lastig bewijs

Hoi,

Ik moet bewijzen dat (A/B)/(A/C) = A Ç (C/B)
Ik geraak hier niet aan uit
Ziehier waar mijn pogingen

Uit (A/B)/(A/C) volgt dat x Î(A/B) en x Ï (A/C)
Dus (x Î A EN x Ï B) EN (x Ï A EN x Î C)
Ik veronderstel nu dat dit hezelfde is als
A/B Ç C/A
en nu zit ik vast
Ik heb al langs de andere kant ook geprobeerd maar loop ook vast

Help me
Het is een kwestie van dit jaar starten zonder onopgeloste oefeningen... MOTIVATIE
bedankt

Heavy J
8-10-2005

Antwoord

Hallo

Je weet dat A/B de elementen zijn die tot A behoren, behalve de elementen die tot B behoren, dus de doorsnede van A met het complement van B (ØB)
A/B = AÇØB

Dus (A/B)/(A/C) = (AÇØB)/(AÇØC)
(AÇØB)ÇØ(AÇØC) = **

Volgens de wet van De Morgan is Ø(AÇØC) = ØAÈC

Dus ** = (AÇØB)Ç(ØAÈC) = ***

Ç is distributief ten opzichte van È

Dus *** = (AÇØBÇØA) È (AÇØBÇC) = ****

AÇØBÇØA = (AÇØA)ÇØB (commutativiteit)
= ÆÇØB=Æ

Dus **** = AÇØBÇC = AÇ(ØBÇC)
= AÇ(CÇØB) = AÇ(C/B)

LL
8-10-2005


© 2001-2024 WisFaq
WisFaq - de digitale vraagbaak voor het wiskunde onderwijs - http://www.wisfaq.nl

#40674 - Verzamelingen - Student universiteit België