Praca pochodzi z serwisu www.e-sciagi.pl
p^q- gdy oba są prawdziwe
pvg- gdy co najmniej jedno jest prawdziwe
p=>q- fałszywe tylko, gdy p=1 i q=0
póq- prawdziwe, gdy p^q=1 v p^q=0
~p- jest prawdziwe, gdyp jest fałszywe
1. zwrotność DK xcR (xx)cę
2. symetryczność DK xycR (xy)cę => (yx)cę
3. przechodność DK xyzcR (xy)cę ^ (yz)cę => (xz)cę
4. asymetryczność DK xycR (xy)cę => ~(yx)cę
5. przeciwzwrotność DK xcR ~(xx)cę
6. spójność DK xycR (xy)cę v (yx)cę v x=y
7. słaba asymetryczność DK xycR (xy)cę ^ (yx)cę => x=y
y=f(g(x))
g*f istnieje, gdy Df-1c Dg
f*g istnieje, gdy Dg-1cDf
Przestrzeń metryczna
(Xd)
1. DK xycX d(xy)=0óx=y
2. DK xycX d(xy)=d(yx)
3. DK xyzcX d(xy)+d(yz)>=d(xz)
K(x0,r)={xCX:d(x,x0)<r}
Tautologia
stary_hipis