Tautologia

p^q- gdy oba są prawdziwe

pvg- gdy co najmniej jedno jest prawdziwe

p=>q- fałszywe tylko, gdy p=1 i q=0

pq- prawdziwe, gdy p^q=1 v p^q=0

~p- jest prawdziwe, gdy p jest fałszywe

Relacje

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

Funkcja złożona

y=f(g(x))

g*f istnieje, gdy D_f^-1c D_g

f*g istnieje, gdy D_g^-1cD_f

Relacja jest różnowartościowa gdy spełnia 1,2,3

Przestrzeń metryczna

(Xd)

1. DK xycX d(xy)=0x=y

2. DK xycX d(xy)=d(yx)

3. DK xyzcX d(xy)+d(yz)>=d(xz)

Kula otwarta

K(x₀,r)={xCX:d(x,x₀)<r}