Re: Logika i skupoviCitat:
Hari Haler: slijedi. ali nekako mi je, ne znam..to slijedi odmah iz prvog a=b :)
Pa? U čemu je problem?
Citat:
Hari Haler: našao sam da je po definiciji uređeni par (a,b)={{a},{a,b}}. u tom slučaju, mislim da mi je jasno zašto je relacija rho={(6,6)} tranzitivna. da li se uređeni par i definiše na taj način da bi između elemenata jednog uređenog para postojala relacija poretka?
To je jedan od mogućih definicija uređenog para. Ujedno je i najpopularnija, jer je najjednostavnija. Međutim, suština uređenog para je us ledećem:
1. Od ma kakvih objekata a i b mogu da formiram objekat koji označavam sa (a,b).
2. Objekti (a,b) i (c,d) su jednaki akko je a=b i c=d.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
