336
Symbole i oznaczenia | |||
P V q, Apq |
alternatywa; p lub q |
W |
zbiór liczb wymiernych |
pl<y |
dysjunkcja; nieprawda, że p lub nie |
R |
zbiór liczb rzeczywistych |
prawda, że q |
Z |
zbiór liczb zespolonych | |
PU |
spójnik Shcffcra; ani p ani q |
e |
liczba e, e = 2,71828... |
P=*<?. p-*q, Cpq |
implikacja; jeżeli p, to q |
n |
liczba 7c, 7c = 3,14159... |
p /\q, Kpq |
koniunkcja; p i ą |
a = h |
a jest rów-nc b |
~\p, ~p, Np |
negacja; nieprawda, że p |
a b |
a jest różne od b |
poq, p = q, p<->q, Epq |
równoważność; p wtedy i tylko wte- |
azsb |
a jest równe w przybliżeniu b |
dy, gdy q |
a < b |
a jest mniejsze od b | |
A1- <p(n) |
<p(n) jest konsekwencją A |
a > b |
a jest w-iększc od b |
V |
kwantyfikator szczegółowy; dla pe |
a ^ b |
a jest mniejsze lub równe b |
xeX |
wnego x należącego do X |
b |
a jest większe lub równe b |
a + b |
suma liczb a i b | ||
A |
kwantyfikator ogólny; dla każdego x |
a — b |
różnica liczb a i b |
x*X |
należącego do X |
a-by a x by ab |
iloczyn liczb a i b |
DX(<P) |
dziedzina funkcji zdaniowej <p w zbiorze X |
a :b, a/b, a + b 0 |
iloraz liczb a i h, b # 0 |
Wx(cp) |
wykres funkcji zdaniowej w |
a\b |
a dzieli b |
zbiorze X |
(a;b) |
przedział otwarty 0 początku a i | |
0 |
zbiór pusty |
końcu b | |
ae A |
element a należy do zbioru A |
<a; b> |
przedział domknięty 0 początku a |
a$A |
element a nie należy do zbioru A |
i końcu b | |
A^B |
zbiór A jest podzbiorem zbioru B |
(-00; 00) |
przedział nieskończony |
A c B |
zbiór A jest podzbiorem właściwym |
a" |
a do n-tej potęgi |
zbioru B |
pierwiastek arytmetyczny n-tego sto | ||
A\jB |
suma zbiorów A i B |
pnia z liczby a | |
AnB |
część wspólna zbiorów A i B |
n! |
n silnia |
A\B |
różnica zbiorów- A i B |
symbol Newtona | |
A — B |
różnica symetryczna zbiorów A i B |
w | |
A' AyB |
dopełnienie zbioru A zbiór A jest równoliczny ze zbiorem B |
* M |
wartość bezwzględna liczby rzeczywistej a, moduł liczby rzeczywistej a |
J |
moc zbioru A |
logab |
logarytm liczby b przy podstawie a |
{a, b,c} |
zbiór elementów a, b, c |
log 6, lg b |
logarytm dziesiętny |
{xeA: (p{x)} |
podzbiór zbioru A, do którego na |
ln b |
logarytm naturalny |
leżą wszystkie x spełniające funkcję |
lĄjrl K) |
macierz 0 elementach ai; | |
zdaniową <p(x) |
det[al7] |
wyznacznik macierzy kwadratow-cj | |
A, x A 2 x... x An |
iloczyn kartezjański zbiorów |
KO | |
Ai> A2,An |
a = b (mod m) |
kongrucncja modulo m | |
(Ci, b) |
para uporządkowana |
NWD (a, b) |
największy wspólny dzielnik liczb a |
(aua2,...,a„) |
n-ka uporządkowana |
i b | |
&{A). 2A |
zbiór potęgowy zbioru A |
NWWffl, b) |
najmniejsza wspólna wielokrotność I* 1 • T |
suma rodziny zbiorów |
liczb a 1 b | ||
!V |
przekrój rodziny zbiorów .9/ |
a + bi |
liczba zespolona 0 części rzeczywistej a oraz części urojonej b |
Uf. |
suma indeksowanej rodziny zbiorów |
Re z |
część rzeczywista liczby zespolonej z |
i6 r |
Im z |
część urojona liczby zespolonej z | |
nf. icT |
przekrój indeksowanej rodziny zbiorów |
z |
liczba zespolona sprzężona do z |
It 4 |
W |
wartość bezwzględna liczby zespolo | |
inf/ł |
kres dolny zbioru A |
nej, moduł liczby zespolonej | |
sup/4 |
kres górny zbioru A |
argz |
argument liczby zespolonej z |
/V |
zbiór liczb naturalnych |
(^1? "*5 ^m)y (^n)n=l |
ciąg skończony |
C |
zbiór liczb całkowitych |
(a„c/2,...), (oj?.,, (<*„) |
ciąg nieskończony |