2808186182

Lista symboli matematycznych

Wiele symboli może być zaprzeczonych przez ich przekreślenie lub przekreślenie ich części, np. oznaczający brak przynależności do zbioni jest zaprzeczeniem symbolu C oznaczającego przynależność elementu do zbioru, czy też 2oznaczający niewłaściwe zawieranie zbiorów oraz 2oznaczający explicite właściwe zawieranie zbiorów. W niektórych symbolach poniżej przez . oraz • oznaczone są miejsca przyłożenia argumentów i parametrów. W większości wypadków nazwy zbiorów i operatorów można pisać wielką lub małą literą (choć ustalony jest często jeden z zapisów), jednak czasami wielkość liter ma znaczenie, np. oraz

Logika matematy czna i teoria mnogości

Symbol A	Znaczenie	Czytanie
	koniunkcia	i
V	alternatywa	lub
> >i	alternatywa wykluczał aca	albo. inne nazwy: alternatywa rozłączna, różnica symetryczna, kontraw atencja
l,T	kreska Sheffera	rówiueż funktor Slieffera. dysitmkcia, niewspółzachodzenie
-^1	necacia	nie. nieprawda, że
	implikacja	implikuje, wynika, pociąga
Ł. V \ / i ' •	równoważność	wtedy i tylko wtedy, gdy
U	zbiór	zbiór (złożony z) elementów . (elementy oddzielane przecinkami lub średnikami)
		zbiór (złożony z) elementów . takich, że •