KIF60

(0	(2)	(3)
0	F	wartość logiczna zdania fałszywego (fałsz)
>| “ |	nx, v*. (x)	kwantyfikator ogólny (dla każdego x)
<1 *	Zx, 3x	kwantyfikator szczegółowy (dla pewnego x)
xeA	xtA	x jest elementem zbioru A
«A~	x?A	x nie jest elementem zbioru A
0	0, A	zbiór pusty
1. U	V	zbiór uniwersalny
{fll. ....		zbiór, którego elementami są przedmioty a,.....aH
Ac B	A £ B	zbi^r A zawiera się w zbiorze B
A%B		zbiór A wyklucza się ze zbiorem B
A$B		zbiór A krzyżuje się ze zbiorem B
A .H	A+B	suma zbioru A i zbioru B
Ar\B	AB	iloczyn zbioru A i zbioru B
A B	A~~B	różnica zbioru A i zbioru B
A+B	A+B	różnica symetryczna zbioru A i zbioru B

(0	(2)	(3)
A' Ijy	-^A	dopełnienie zbioru A
	Ist	suma rodziny zbiorów s/
2*	nsi	iloczyn rodziny zbiorów
	?(A)	zbiór potęgowy zbioru A
(a. b) . j	V b)	para uporządkowana przed-
		miotów a, b
a*b		iloczyn kartezjański zbioru A i zbioru B
BjA		relacja R ograniczona do zbioru A
D(R)	D£R)	dziedzina relacji R
H(R)	D^R). a (7?)	przeciwdzied/ina relacji R
P(R)	C(R)	pole relacji R
Mi		klasa abstrakcji relacji równościowej R wytwo-
		r/ona przez, element a
"R	TT^1	konwers relacji R
R*S	R$	iloczyn -clatywny relacji R
		i relacji 5
R(A)	R"A	obraz zbioru A wedle rc-
		lacji R
	R'\A), R \A)	przcciwobraz zbioru A
		wedle relacji R
AIR		zbiór ilorazowy zbioru A ze względu na relację
f ■ A-+B		(równościową) R
		funkcja ) odwzorowująca
B^Ą 'i		zbiór A w zbiór B
		zbiór odwzorowań A w B

175