A |
aksjomat |
rachunku zdań 1 (VI/6) |
algebra Boole 1 (VI/2) |
alternatywa 1 (VI/1) |
B |
bijekcja 1 (III/2) |
C |
ciąg 1 (III/1) |
D |
diagram |
Hassego 1 (V/2) |
diagram Venna 1 (I/2) |
dowód 1 (IV/2) |
apagogiczny 1 (VI/5) |
formuły 1 (VI/6) |
przez sprowadzanie do niedorzeczności 1 (VI/5) |
drzewo 1 (II/5) |
dowodu 1 (VI/6) |
dziedzina funkcji 1 (III/1) |
dziedzina relacji 1 (II/2) |
E |
ekstensjonalność 1 (VI/2) |
element |
maksymalny 1 (V/3) |
minimalny 1 (V/3) |
F |
formuła |
rachunku zdań 1 (VI/1) |
funkcja 1 (III/1) |
odwrotna 1 (III/3) |
różnowartościowa 1 (III/2) |
funkcja charakterystyczna 1 (III/1) |
funkcja pary 1 (III/2) |
funkcja wieloargumentowa 1 (III/5) |
funktor |
Sheffera 1 (VI/2) |
zdaniotwórczy 1 (VI/1) |
G |
graf 1 (II/5) |
izomorficzny 1 (IV/1) |
niezorientowany 1 (II/5) |
acykliczny 1 (II/5) |
spójny 1 (II/5) |
graf relacji 1 (II/2) |
I |
implikacja 1 (VI/1) |
injekcja 1 (III/2) |
K |
klasa abstrakcji 1 (IV/2) |
klasa równoważności 1 (IV/2) |
kongruencja 1 (IV/5) |
koniunkcja 1 (VI/1) |
kres |
dolny 1 (V/4) |
górny 1 (V/4) |
L |
liczba trójkątna 1 (III/1) |
Ł |
łańcuch 1 (V/5) |
M |
macierz relacji 1 (II/2) |
matryca |
logiczna 1 (VI/2) |
metoda 1 (VI/5) |
zerojedynkowa 1 (VI/3) |
N |
notacja asymptotyczna 1 (III/6) |
O |
obraz zbioru wyznaczonym przez funkcję 1 (III/4) |
ograniczenie |
dolne |
zbioru 1 (V/4) |
górne 1 (V/4) |
P |
para uporządkowana 1 (II/1) |
podział zbioru 1 (IV/3) |
porządek |
dobry 1 (V/5) |
liniowy 1 (V/5) |
produktowy 1 (V/6) |
słownikowy 1 (V/6) |
prawo |
Claviusa 1 (VI/3) |
de Morgana 1 (VI/3) |
Dunsa Scotusa 1 (VI/3) |
eksportacji 1 (VI/5) |
Fregego 1 (VI/6) |
podwójnego przeczenia 1 (VI/3) |
sylogizmu warunkowego 1 (VI/3) |
symplifikacji 1 (VI/6) |
tożsamości dla implikacji 1 (VI/3) |
transpozycji 1 (VI/3) |
wyłączonego środka 1 (VI/3) |
wyłączonej sprzeczności 1 (VI/3) |
zaprzeczenia implikacji 1 (VI/3) |
produkt kartezjański 1 (II/1) |
przecięcie uogólnione 1 (I/6) |
przecięcie zbiorów 1 (I/4) |
przeciwdziedzina funkcji 1 (III/1) |
przeciwdziedzina relacji 1 (II/2) |
przeciwobraz zbioru wyznaczony przez funkcję 1 (III/4) |
R |
reguła |
dowodzenia 1 (VI/6) |
relacja |
binarna 1 (II/2) |
antysymetryczna 1 (II/3) |
przechodnia 1 (II/3) |
przeciwzwrotna 1 (II/3) |
symetryczna 1 (II/3) |
zwrotna 1 (II/3) |
dwuczłonowa 1 (II/2) |
n-argumentowa 1 (II/6) |
odwrotna 1 (II/4) |
osiągalności 1 (IV/1) |
porządku |
częściowego 1 (V/1) |
porządku leksykograficznego 1 (V/6) |
równoważności 1 (IV/1) |
równoważność 1 (VI/1) |
równość zbiorów 1 (I/2) |
różnica symetryczna zbiorów 1 (I/5) |
różnica zbiorów 1 (I/5) |
S |
semantyka |
rachunku zdań 1 (VI/2) |
spójnik |
logiczny 1 (VI/1) |
suma uogólniona 1 (I/6) |
suma zbiorów 1 (I/3) |
surjekcja 1 (III/2) |
T |
tautologia |
rachunku zdań 1 (VI/3) |
W |
warunek |
dostateczny 1 (VI/1) |
konieczny 1 (VI/1) |
wykres relacji 1 (II/2) |
Z |
zasada abstrakcji 1 (IV/4) |
zawieranie zbiorów 1 (I/2) |
zbiór 1 (I/1) |
liniowo uporządkowany 1 (V/5) |
niesprzeczny 1 (VI/4) |
sprzeczny 1 (VI/4) |
uporządkowany 1 (V/1) |
zbiór argumentów 1 (III/1) |
zbiór potęgowy 1 (I/2) |
zbiór wartości 1 (III/1) |
zdanie 1 (VI/1) |
sprzeczne 1 (VI/3) |
złożenie funkcji 1 (III/3) |
złożenie relacji 1 (II/4) |
zmienna |
zdaniowa 1 (VI/1) |
(liczba rzymska w nawiasie oznacza numer wykładu, liczba arabska - numer punktu w wykładzie) |