Дискретная математика. Кулабухов С.Ю. - 5 стр.

                                                                                                       sODERVANIE

            zAKON KONTRAPOZICII. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
         2.3.                                                                                               :   :    91
            pERWOE PRAWILO OTRICANIQ IMPLIKACII. : : : : : : : : : : : : : : : : : : : :
         2.4.                                                                                               :   :    92
            oBOB]ENNOE PRAWILO PROTIWORE^IWOJ POSYLKI. : : : : : : : : : : : : : : :
         2.5.                                                                                               :   :    92
            tEOREMA O WYWODIMOSTI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
         2.6.                                                                                               :   :    93
            nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
         2.7.                                                                                               :   :    94
            kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
         2.8.                                                                                               :   :    95
            uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
         2.9.                                                                                               :   :    95
  x 3. pOLNOTA, NEPROTIWORE^IWOSTX I RAZREIMOSTX iw nEZAWISIMOSTX AKSIOM iw :                              :   :    96
       3.1. pOLNOTA iw OTNOSITELXNO aw. : : : : : : : : : : : : : : : : : : : : : : : : :                   :   :    96
       3.2. nEPROTIWORE^IWOSTX iw. : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   :    97
       3.3. rAZREIMOSTX iw. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   :    97
       3.4. nEZAWISIMOSTX SISTEMY AKSIOM iw. : : : : : : : : : : : : : : : : : : : : : :                    :   :    97
       3.5. mNOGOZNA^NYE LOGIKI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   :    98
       3.6. k-ZNA^NYE LOGIKI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :             :   :    99
       3.7. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :              :   :    99
       3.8. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   :    99
       3.9. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :             :   :   100
gLAWA VI aLGEBRA PREDIKATOW ::: :: ::: :: :: :: ::: :: : : : : :: ::: :: :: :: ::: :: :: :: : : ::: :: :: :: : : : 101
  x 1.   pONQTIE PREDIKATA. oPERACII NAD PREDIKATAMI : : : : : : : : : : : : : : : : : : :                      :   101
         1.1. wYSKAZYWATELXNYE FORMY. : : : : : : : : : : : : : : : : : : : : : : : : : : : :                   :   101
         1.2. oPREDELENIE PREDIKATA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   101
         1.3. lOGI^ESKIE WOZMOVNOSTI I TABLICA ISTINNOSTI PREDIKATA. : : : : : : : : :                          :   102
         1.4. sPOSOBY ZADANIQ PREDIKATOW. : : : : : : : : : : : : : : : : : : : : : : : : : : :                 :   103
         1.5. pREDIKATNYE PEREMENNYE. : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                 :   103
         1.6. oB]IE LOGI^ESKIE WOZMOVNOSTI DWUH PREDIKATOW. : : : : : : : : : : : : : : :                       :   103
         1.7. oPERACII :, &, _, !, . : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :               :   103
         1.8. kWANTORNYE OPERACII NAD PREDIKATAMI. : : : : : : : : : : : : : : : : : : : :                      :   104
         1.9. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :              :   104
         1.10. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :               :   105
         1.11. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :            :   106
  x 2.   qZYK ALGEBRY PREDIKATOW. kLASSIFIKACIQ FORMUL : : : : : : : : : : : : : : : : :                        :   107
         2.1. oPREDELENIE FORMULY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   107
         2.2. iNTERPRETACII QZYKA ALGEBRY PREDIKATOW. : : : : : : : : : : : : : : : : : : :                     :   107
         2.3. kLASSIFIKACIQ FORMUL. mODELI. : : : : : : : : : : : : : : : : : : : : : : : : :                   :   108
         2.4. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :              :   109
         2.5. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   109
         2.6. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :             :   110
  x 3.   rAWNOSILXNYE FORMULY ALGEBRY PREDIKATOW : : : : : : : : : : : : : : : : : : : : :                      :   111
         3.1. rAWNOSILXNYE FORMULY ALGEBRY PREDIKATOW. : : : : : : : : : : : : : : : : : :                      :   111
         3.2. tEOREMA O PODSTANOWKAH W RAWNOSILXNYE FORMULY ALGEBRY WYSKAZYWANIJ.                               :   111
         3.3. nEZAWISIMOSTX FORMUL OT SWQZANNYH PEREMENNYH. : : : : : : : : : : : : : : :                       :   112
         3.4. wYNESENIE OTRICANIQ ZA KWANTORY. : : : : : : : : : : : : : : : : : : : : : : :                    :   112
         3.5. wYNESENIE KWANTOROW ZA OPERACII KON_@NKCII I DIZ_@NKCII. : : : : : : : :                          :   112
         3.6. pERESTANOWKA KWANTOROW. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :               :   113
         3.7. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :              :   113
         3.8. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   113
         3.9. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :             :   113
  x 4.   pREDWARENNAQ NORMALXNAQ FORMA : : : : : : : : : : : : : : : : : : : : : : : : : : : :                  :   115
         4.1. pRIWEDENNAQ FORMA DLQ FORMUL ALGEBRY PREDIKATOW. : : : : : : : : : : : : :                        :   115
         4.2. pREDWARENNAQ NORMALXNAQ FORMA. : : : : : : : : : : : : : : : : : : : : : : : :                    :   115
         4.3. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :              :   117
         4.4. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                :   117
         4.5. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :             :   117
  x 5.   tEORII PERWOGO PORQDKA : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :               :   118
         5.1. tERMY I FORMULY TEORIJ PERWOGO PORQDKA. : : : : : : : : : : : : : : : : : : :                     :   118

                                                         5