voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
INDEKS<br />
{emi aksiomi, 91<br />
Aksioma <strong>na</strong> izbor, 5<br />
aksiomi, 5<br />
antirefleksiv<strong>na</strong> relacija, 5<br />
antisimetri~<strong>na</strong> relacija, 5<br />
atomaren iskaz, 5<br />
atomar<strong>na</strong> formula, 5<br />
azbuka, 5<br />
beskone~no, 5<br />
biekcija, 5<br />
bulean (partitivno mno`est<strong>vo</strong>), 5<br />
De Morganovi teoremi, 5<br />
dijago<strong>na</strong>la, 5<br />
direkten proiz<strong>vo</strong>d <strong>na</strong> mno`estva, 5<br />
direkt<strong>na</strong> posledica, 5<br />
disjunkcija, 5<br />
disjunktiv<strong>na</strong> normal<strong>na</strong> forma, 5<br />
dobro podredeno mno`est<strong>vo</strong>, 5<br />
dolen segment, 5<br />
domen, 5<br />
ed<strong>na</strong>kvi mno`estva, 5<br />
egzistencijalen kvantifikator, 5<br />
ekvivalencija, 5<br />
ekvivalentni mno`estva, 5<br />
faktor no`est<strong>vo</strong>, 5<br />
familija mno`estva, 5<br />
formalni teorii, 5<br />
funkcija, 5<br />
funkcija <strong>na</strong> vistinitost, 5<br />
funkciski z<strong>na</strong>ci, 5<br />
generalizacija, 5<br />
generatorno mno`est<strong>vo</strong> svrznici, 5<br />
haseov dijagram, 5<br />
134