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

UptoLike

ВУЗ: 

ИСОиП ДГТУ | Шахты

Составители: 

Рубрика: 

gLAWA   V.   iS^ISLENIE WYSKAZYWANIJ

       a ! (b ! c), b, a ` c =) a ! (b ! c), b ` (a ! c).
  bUDEM W DALXNEJEM POLXZOWATXSQ I \TIM DOPOLNITELXNYM PRAWILOM WYWODA I OBOZNA^ATX
pipp.
   1.9. nOWYE TERMINY. aKSIOMATI^ESKIE TEORII: FORMALXNYE I SODERVATELXNYE. lOGI-
^ESKIE SREDSTWA FORMALXNOJ TEORII. qZYK TEORII. pRAWILA WYWODA. wYWOD TEORII. wYWOD DANNOJ
FORMULY (DOKAZATELXSTWO). wYWODIMOSTX IZ GIPOTEZ. pRAWILO OTDELENIQ (modus ponens). pRA-
WILO SILLOGIZMA, PRAWILO ISKL@^ENIQ PROMEVUTO^NOJ POSYLKI.
   1.10. kONTROLXNYE WOPROSY.
  1. ~EM OTLI^A@TSQ FORMALXNYE OT SODERVATELXNYH AKSIOMATI^ESKIH TEORIJ?
  2. iZLOVITE PRINCIP POSTROENIQ FORMALXNYH AKSIOMATI^ESKIH TEORIJ.
  3. pO^EMU W FORMALIZACII aw ISPOLXZU@TSQ LIX DWE SWQZKI, A NE WSE PQTX?
  4. dAJTE OPREDELENIE WYWODIMOSTI I WYWODIMOSTI IZ GIPOTEZ. sRAWNITE IH.
  5. ~TO MOVNO SKAZATX O PERWYH DWUH FORMULAH WYWODA iw?
  6. ~TO MOVNO SKAZATX O PERWYH DWUH FORMULAH WYWODA IZ MNOVESTWA FORMUL ;?
  7. qWLQ@TSQ LI WYWODIMYMI FORMULAMI AKSIOMY iw? eSLI DA, TO KAKOWA DLINA IH MINI-
     MALXNOGO WYWODA?
  8. iZ KAKIH SIMWOLOW SOSTOIT ALFAWIT iw?
   1.11. uPRAVNENIQ.
  1. pRIWEDITE DOKAZATELXSTWO DLQ SLU^AEW a) { c) (SM. DOKAZATELXSTWO TEOREMY DEDUKCII, IN-
     DUKCIONNYJ AG).
  2. dOKAZATX, POSTROIW WYWOD:
      (a) ` (:a ! a) ! a
      (b) PRAWILO SILLOGIZMA
      (c) a ! (b ! c) ` b ! (a ! c)
      (d) ` (:b ! :a) ! (a ! b).
  3. iSPOLXZUQ TEOREMU DEDUKCII, DOKAVITE, ^TO
     ESLI a1  a2 : : : an ` b, TO ` a1 ! (: : :(an;1 ! (an ! b)) : : :).
  4. dOKAZATX, ISPOLXZUQ TEOREMU DEDUKCII:
      (a) ` (a ! b) ! ((a ! :b) ! :a)
      (b) ` (a ! b) ! ((:a ! b) ! b)
      (c) ` :(a ! :b) ! a
      (d) a ` :a ! b
      (e) ` ((a ! b) ! a) ! a.




                                                  90

Страницы