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 08. 12. 2008 21:13
množiny
Dobrý večer,
chci poprosit,zda by mi někdo mohl zkontrolovat správnost řešení.
Nechť a,b,c jsou množiny.Rozhodněte a dokažte ,zda platí tvrzení:
(a-b)-c = a - (b-c)
moje řešení:
rozdíl není asociativní,tudíž tvrzení neplatí
Např. uvažujme a =(x,y,z),b = (x), c = (y)
potom a-b = (y,z) a (a-b)-c = (z),ale b-c = (x) a a-(b-c) =(y,z)
Může to tak být?
Předem moc děkuji. :)
Offline
#5 09. 12. 2008 11:33
- Kondr
- Veterán
- Místo: Linz, Österreich
- Příspěvky: 4247
- Škola: FI MU 2013
- Pozice: Vývojář, JKU
- Reputace: 38
Re: množiny
↑ ttopi:Ale nepovažují se za důkaz. (Souhlasím s tím, že jsou užitečné k tomu, aby se člověk rozhodl, jestli bude tvrzení vyvracet nebo dokazovat.)
BRKOS - matematický korespondenční seminář pro střední školy
Offline
#6 09. 12. 2008 16:22
Re: množiny
↑ Kondr:
Zajímavé. My jsme podobné typy příkladů řešili Venovými diagramy a navrhl to sám vyučující. Proč by to tak nemělo taky být? Přece to co si namaluju je obecné a důkazy se dělají obecně. Chápu, že není dobrý důkaz vzít 3 množiny a počítat, ale diagram je obecný, čili je to OK.
oo^0 = 1
Offline
#7 09. 12. 2008 16:43
- Kondr
- Veterán
- Místo: Linz, Österreich
- Příspěvky: 4247
- Škola: FI MU 2013
- Pozice: Vývojář, JKU
- Reputace: 38
Re: množiny
↑ ttopi: Důkaz je posloupnost implikací A=>B, B=>C, ..., Y=>Z, kde A je konjunkce všeobebecně uznávaných tvrzení a Z je tvrzení dokazované. Úlohou je takový důkaz najít. Obrázek proto nikdy nemá hodnotu důkazu. Určitě bys nedokazoval něco o funkci tím, že si nakreslíš její graf. S Venovými diagramy je to stejné. Je ale možné, že někteří kantoři z formálních požadavků sleví a Venovy diagramy uznávají.
BRKOS - matematický korespondenční seminář pro střední školy
Offline