Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 25. 09. 2012 14:45 — Editoval majoSLOVAKIA (25. 09. 2012 14:46)
- majoSLOVAKIA
- Příspěvky: 26
- Reputace: 1
dokazy matika
Zdravim, prosim vas mam to dobre?
Dokazte, ze A U (B∩C) =(A U B) ∩ (A U C)
x=y ˄ y=x <=> x C y ˄ y C x
1.
A U (B∩C) C (A U B) ∩ (A U C)
Nech x є A U (B∩C)
=> x є A ˅ x є B => x є (A U B)
=> x є A ˅ x є C => x є (A U C)
Teda x є (A U B) ∩ (A U C)
2.
(A U B) ∩ (A U C) C A U (B∩C)
Nech x є (A U B) ∩ (A U C)
=> X є A ˅ X є B
=> X є A ˅ X є C
Teda X є A U (B ∩ C)
Offline
#2 26. 09. 2012 12:18
- jelena
- Jelena
- Místo: Opava
- Příspěvky: 30020
- Škola: MITHT (abs. 1986)
- Pozice: plním požadavky ostatních
- Reputace: 100
Re: dokazy matika
Zdravím,
pokud ještě aktuální - důkazy neumím, jen moderátorské upozornění k zápisu (snad by byla větší odezva, zatím nerozluštitelné). Napravo od okna zprávy je editor LaTeX.
Ať se podaří.
Offline
#3 26. 09. 2012 13:04
Re: dokazy matika
↑ majoSLOVAKIA:
Mě se zdá, že je to v pořádku.
Množinové operace 
jsou koreláty logických spojek 
Distributivita 
vzhledem k 
lze dokázat díky tautologi:
,
což jsi udělal.
What does a drowning number theorist say?
'log log log log ...'
Offline