↑ fredy: zdravim ... myslim ze za definiciu ekvivalencie mozeme brat pravdivostnu tabulku.
A B A<=>B
1 1 1
1 0 0
0 1 0
0 0 1
Aspon dufam ze pod pojmom ekvivalencia je myslena operacia spajajuca vyroky.
Offline

↑ PeetPb:
To určitě ne, tady je ekvivalencí myšlena binární operace, která danou množinu rozkládá na třídy ekvivalence.
Offline
Vy máte stejný domácí úkol? O:-)
Tak sem odněkud alespoň opište tu žádanu definici ekvivalence a podíváme se, co se s ní dá dělat.
Offline
No, relace (jaká přesně?). Takže ekvivalence na A je podmnožina kartézského součinu AxA. Kartézský součin AxA má právě 16 různých prvků: (1, 1), (1, 2), (1, 3), (1, 4), (2, 1), ..., (4, 3), (4, 4). O každém z těch 16 prvků musíš rozhodnout, zda do té ekvivalence patří nebo ne. Např. z reflexivity plyne, že (1, 1) tam určitě patřit musí (a které ještě?). Z toho rozkladu na třídy ekvivalence (co jsou třídy ekvivalence?) se dá vyvodit zbytek.
Nějaké informace o binárních relacích jsou např. zde: http://pavel.klavik.cz/vyuka/diskretka/o_relacich.pdf
Offline