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
#5 13. 03. 2008 20:35 — Editoval robert.marik (13. 03. 2008 20:58)
- robert.marik
- Einstein
- Příspěvky: 999
- Reputace: 1
Re: Důkaz
ad 1. Je-li prvek (a,c) z (R sjednoceno S)T, potom existuje b takove, ze (b,c) je z T a bud (a,b) je z R nebo (a,b) je z S. To je ale rozepsane presne to co je na prave strane. chce to jenom si prepsat to skladani relaci a sjednocovani relaci do jazyka usporadanych dvojic. Podobne se dela ta dvojka.
editace: jo a tim je dokazana jenom jedna inkluze.
Offline
#6 13. 03. 2008 21:27
#8 13. 03. 2008 21:33
- robert.marik
- Einstein
- Příspěvky: 999
- Reputace: 1
Re: Důkaz
Je-li prvek (a,c) z RT sjednoceno ST, potom existuje b takove, ze (b,c) je z T a bud (a,b) je z R nebo (a,b) je z S. To je ale rozepsane presne to co je na leve strane. chce to jenom si prepsat to skladani relaci a sjednocovani relaci do jazyka usporadanych dvojic :)
Offline