Side 1 av 1
Diskret matematikk. Bevis.
Lagt inn: 01/09-2009 20:27
av Tore Tangens
Hei. Sliter med løsning og føring av følgende bevis:
Bevis at hvis [tex] X \subseteq Y [/tex], så er [tex] X \cap Z \subseteq Y \cap Z [/tex] for alle mengder [tex] X,Y og Z[/tex]
edit: rettet delmengder til mengder på slutten
Lagt inn: 01/09-2009 20:30
av mrcreosote
En vanlig måte å vise inklusjoner på er å anta at noe er et element i den "minste" mengden, og vise at det da også må være et element i den andre.
Lagt inn: 04/09-2009 18:58
av Tore Tangens
Det høres fornuftignok ut. Men har enda ikke kommet meg videre. Har klart å bevise dette for meg selv med venndiagrammer og litt drodling. Men å formulere det med matematiske symboler og logikk blir vanskelig.
Kunne trengt noen solide t-skjeier til.
Lagt inn: 04/09-2009 20:01
av FredrikM
La [tex]x\in X \cap Z [/tex]. Da er [tex]x \in X \wedge x\in Z.[/tex]. Men siden [tex]X \subseteq Y[/tex] er [tex]x \in Y \wedge x\in Z[/tex]. Men dette er det samme som?