sWQZANNAQ PREDMETNAQ PEREMENNAQ, 107 sISTEMA SWQZOK, 69
POLNAQ, 69
sOOTWETSTWIE (OTNO[ENIE), 16 OBLASTX ZNA^ENIJ, 17 OBLASTX OPREDELENIQ, 17
POLNOE, 16
PUSTOE, 16 sUPERPOZICIQ
SOOTWETSTWIJ, 22, 23 FUNKCIJ, 23
tABLICA ISTINNOSTI, 59
LOGI^ESKIH WOZMOVNOSTEJ, 58 tABLICA ISTINNOSTI
PREDIKATA, 102 tAWTOLOGIQ, 59
tEZIS ~ER^A, 126, 129 tEOREMA DEDUKCII, 87, 88
tEORIQ AKSIOMATI^ESKAQ, 86
LOGI^ESKIE SREDSTWA, 86
NEPROTIWORE^IWAQ, 97
POLNOTA FORMALXNOJ TEORII OTNOSITELX- NO SODERVATELXNOJ, 96
PROTIWORE^IWAQ, 97 RAZRE[IMAQ, 97 SODERVATELXNAQ, 86 FORMALXNAQ, 86
uPORQDO^ENNAQ PARA \LEMENTOW, 16 uPORQDO^ENNYE MNOVESTWA
WPOLNE, 33 LINEJNO (CEPI), 33
fAKTORMNOVESTWO, 29 fORMULA, 56
OSOBENNAQ, 98 PRIWILEGIROWANNAQ, 98 TOVDESTWENNO ISTINNAQ, 59 TOVDESTWENNO LOVNAQ, 59
fORMULA ap WYPOLNIMAQ, 108
WYPOLNIMAQ W DANNOJ INTERPRETACII, 108 LOVNAQ (NEWYPOLNIMAQ) W DANNOJ INTER-
PRETACII, 108
LOVNAQ (PROTIWORE^IE), 108 OB]EZNA^IMAQ, 108 TOVDESTWENNO ISTINNAQ, 108 TOVDESTWENNO LOVNAQ, 108 \LEMENTARNAQ, 107
fUNKCIQ, 19 BIEKTIWNAQ, 19
WY^ISLIMAQ, 125, 126 PO tX@RINGU, 134
IN_EKTIWNAQ, 19 NORMALXNO WY^ISLIMAQ, 139
NULX-FUNKCIQ, 126 PRAWILXNO WY^ISLIMAQ
PO tX@RINGU, 134 PRIMITIWNO REKURSIWNAQ, 129
PROEKTIRU@]AQ, 126 PROSTEJ[AQ, 126 REKURSIWNAQ, 126 SLEDOWANIQ, 126 S@R_EKTIWNAQ, 19 ^ASTI^NO REKURSIWNAQ, 129 ^ASTI^NAQ
^ISLOWAQ, 125
~ASTI^NAQ FUNKCIQ, 18
IN_EKTIWNAQ, 19
|LEMENTY MAKSIMALXNYJ, 32 MINIMALXNYJ, 32 NAIBOLX[IJ, 32 NAIMENX[IJ, 32 NESRAWNIMYE, 33 POKRYWA@]IJ, 33 SRAWNIMYE, 33
qZYK ALGEBRY WYSKAZYWANIJ, 58 qZYK ALGEBRY PREDIKATOW, 107