WNE[NQQ PAMQTX, 132 WNUTRENNQQ PAMQTX, 132 KONE^NAQ LENTA, 132 UPRAWLQ@]AQ GOLOWKA, 132
PROGRAMMA, 131, 132 mNOVESTWO, 8
BESKONE^NOE, 8 KONE^NOE, 8 PUSTOE, 8 UNIWERSALXNOE, 10
mODELX DLQ MNOVESTWA FORMUL, 109 nEZAWISIMAQ SISTEMA AKSIOM, 97
oBLASTX DEJSTWIQ KWANTOROW, 104 oBLASTX INTERPRETACII, 108 oBRAZ MNOVESTWA
POLNYJ, 22
oBRAZ SOOTWETSTWIQ, 16
POLNYJ, 17 oBRATIMAQ FUNKCIQ, 20
oBRATIMOE OTOBRAVENIE, 20 oBRATNAQ ^ASTI^NAQ FUNKCIQ, 19 oPERATOR
MINIMIZACII, 128 PRIMITIWNOJ REKURSII, 127
SUPERPOZICII (PODSTANOWKI), 126 oPERACII NAD MNOVESTWAMI, 10
DOPOLNENIQ, 10
OB_EDINENIQ, 10
PERESE^ENIQ, 10 RAZNOSTX, 10
oTOBRAVENIE, 19 BIEKTIWNOE, 19
IN_EKTIWNOE, 19
NA, 19
S@R_EKTIWNOE, 19
oTRICANIE DIZ_@NKCII (OPERACIQ pIRSA), 71 oTRICANIE KON_@NKCII ([TRIH {EFERA), 71
pAROSTRO^NAQ ZAPISX PREOBRAZOWA-
NIQ, 25 pERESTANOWKI, 45
pODMNOVESTWO NESOBSTWENNOE, 9 SOBSTWENNOE, 9
pODSTANOWKA, 25 pOSLEDOWATELXNOSTX, 16 pRAWILO
ISKL@^ENIQ PROMEVUTO^NOJ POSYLKI, 89
OTDELENIQ (Modus Ponens), 88
SILLOGIZMA, 89
pREDWARENNAQ NORMALXNAQ FORMA, 115
pREDIKAT, 101
pREDIKATNYE PEREMENNYE, 103, 107 pREDMETNYE PEREMENNYE, 101, 107
SWQZANNYE, 104
pREDMETY, 107 pREOBRAZOWANIE, 24
BIEKTIWNOE, 24
IN_EKTIWNOE, 24 KONE^NYH MNOVESTW, 25
OBRATIMOE, 24 S@R_EKTIWNOE, 24
pRIWEDENNAQ FORMA, 115
pRINCIP NORMALIZACII mARKOWA, 140 pROOBRAZ MNOVESTWA
POLNYJ, 22
pROOBRAZ SOOTWETSTWIQ, 16
POLNYJ, 17 pROTIWORE^IE, 59
rAWNOSILXNYE NA MNOVESTWE FORMULY ap ,
111
rAWNOSILXNYE FORMULY, 58 rAWNOSILXNYE FORMULY ap, 111 rAZBIENIE MNOVESTWA, 28 rELEJNO-KONTAKTNYH SHEM
ANALIZ, 66
SINTEZ, 66 rE[ETKA, 35
sWOBODNAQ PREDMETNAQ PEREMENNAQ, 107 sWOJSTWA ALGORITMA
DETERMINIROWANNOSTX, 125 DISKRETNOSTX, 125 MASSOWOSTX, 125
NAPRAWLENNOSTX (OPREDELENNOSTX), 125 \LEMENTARNOSTX [AGOW, 125
sWOJSTWA LOGI^ESKIH OPERACIJ, 59 kOMMUTATIWNOSTX OPERACIJ & I _, 59 ASSOCIATIWNOSTX OPERACIJ & I _, 59 DISTRIBUTIWNYE ZAKONY, 59
ZAKON DWOJNOGO OTRICANIQ, 59 ZAKON ISKL@^ENNOGO TRETXEGO, 59 ZAKON KONTRAPOZICII, 59
ZAKON PROTIWORE^IQ, 59 ZAKONY DE mORGANA, 59 ZAKONY POGLO]ENIQ, 59
IDEMPOTENTNOSTX OPERACIJ & I _, 59 PRAWILO ISKL@^ENIQ IMPLIKACII, 60 PRAWILO ISKL@^ENIQ \KWIWALENCII, 60 SWOJSTWA PROTIWORE^IJ, 59
SWOJSTWA TAWTOLOGIJ, 59 sWOJSTWA OPERACIJ NAD MNOVESTWAMI
DWOJNOGO DOPOLNENIQ, 10 ASSOCIATIWNOSTX, 11
DE-mORGANA, 11 DISTRIBUTIWNOSTX, 11
IDEMPOTENTNOSTX, 10
KOMMUTATIWNOSTX, 11 POGLO]ENIQ, 11