Teoria mnogości, zadanie nr 4753

Autor	Zadanie / Rozwiązanie
geometria postów: 863	2016-06-25 20:40:25 Relacja na zbiorze X={0,1,2,3}. Zdanie:($\forall_{x\in X}\forall_{y\in X}$)(...) Ono oznacza, ze: dla x=0 ma byc kazdy y dla x=1 ma byc kazdy y dla x=2 ma byc kazdy y dla x=3 ma byc kazdy y Czy tak?

tumor postów: 8070	2016-06-25 20:51:14 tak, i na odwrót też, bo akurat tu zachodzi przemienność kwantyfikatorów. Czasem się to skraca do $\forall_{x,y}$ i można też tak to rozumieć, że wybieramy jednocześnie parę.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj