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.
mno`est<strong>vo</strong>, 5<br />
mno`est<strong>vo</strong> formuli, 5<br />
mno`est<strong>vo</strong> permutacii, 5<br />
mno`est<strong>vo</strong> pretpostavki, 5<br />
mno`est<strong>vo</strong> transformacii, 5<br />
model, 5<br />
modus ponens, 5<br />
mre`a, 5<br />
<strong>na</strong>jgolem element, 5<br />
<strong>na</strong>jmal element, 5<br />
negacija, 5<br />
neprotivre~<strong>na</strong>, 5<br />
neto~<strong>na</strong>, 5<br />
ni, 5<br />
nili, 5<br />
obop{ten asocijativen zakon, 5<br />
obop{ten distributiven zakon, 5<br />
operacija, 5<br />
opseg <strong>na</strong> f, 5<br />
ordi<strong>na</strong>lni broevi, 5<br />
podmno`est<strong>vo</strong>, 5<br />
podmre`a, 5<br />
podredeni mno`estva, 5<br />
podreduvawe inducirano od, 5<br />
pole <strong>na</strong> deluvawe <strong>na</strong> kvantifikator, 5<br />
prasno mno`est<strong>vo</strong>, 5<br />
pravilo za izveduvawe, 5<br />
pravilo za zame<strong>na</strong>, 5<br />
praz<strong>na</strong> relacija, 5<br />
prazno preslikuvawe, 5<br />
prebroi<strong>vo</strong>, 5<br />
predikatski simboli, 5<br />
presek, 5<br />
preslikuvawe, 5<br />
prirodno preslikuvawe, 5<br />
pro{iruvawe, 5<br />
proiz<strong>vo</strong>d <strong>na</strong> kardi<strong>na</strong>lni broevi, 5<br />
ravenka so mno`estva, 5<br />
razbivawe (particija) <strong>na</strong> mno`est<strong>vo</strong>, 5<br />
razlika, 5<br />
re~enica (zat<strong>vo</strong>re<strong>na</strong> formula), 5<br />
refleksiv<strong>na</strong> relacija, 5<br />
relacija, 5<br />
relacija za ekvivalentnost, 5<br />
relacija za podreduvawe, 5<br />
relacija za pretpodreduvawe, 5<br />
restrikcija, 5<br />
113