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

UptoLike

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

gLAWA   VI.   aLGEBRA PRELIKATOW

   1.11. uPRAVNENIQ.
  1. sKOLXKO n-MESTNYH PREDIKATOW MOVNO ZADATX NA m-\LEMENTNOM MNOVESTWE?
  2. pODS^ITAJTE KOLI^ESTWO LOGI^ESKIH WOZMOVNOSTEJ n-MESTNOGO PREDIKATA NA m-\LEMENTNOM
     MNOVESTWE.
  3. zADAJTE TABLICAMI ISTINNOSTI TRI RAZLI^NYH 2-MESTNYH PREDIKATA NA MNOVESTWE fa b cg.
  4. zADAJTE TABLICAMI ISTINNOSTI TRI RAZLI^NYH 3-MESTNYH PREDIKATA NA MNOVESTWE f0 1g.
  5. sLEDU@]IE NIVE WYSKAZYWANIQ O NATURALXNYH ^ISLAH ZAPIITE W SIMWOLI^ESKOJ FORME,
     WWODQ PREDIKATY I ISPOLXZUQ KWANTORNYE OPERACII. oPREDELITE ISTINNOSTX \TIH WYSKA-
     ZYWANIJ
      (a) eSLI KAKOE-TO UTWERVDENIE, ZAWISQ]EE OT NATURALXNOGO ^ISLA n ISTINNO PRI n = 1 I
          IZ PREDPOLOVENIQ ISTINNOSTI DLQ KAKOGO-TO ^ISLA SLEDUET ISTINNOSTX EGO DLQ SLEDU-
          @]EGO ^ISLA, TO TAKOE UTWERVDENIE ISTINNO DLQ L@BOGO NATURALXNOGO ^ISLA.
      (b) dLQ L@BYH DWUH NATURALXNYH ^ISEL NAJDETSQ TAKOE TRETXE NATURALXNOE ^ISLO, KOTO-
          ROE W SUMME S PERWYM BOLXE WTOROGO.
      (c) dLQ L@BOGO NATURALXNOGO ^ISLA SU]ESTWUET BOLXEE EGO NATURALXNOE ^ISLO.
      (d) sU]ESTWUET NATURALXNOE ^ISLO, BOLXEE WSEH DRUGIH NATURALXNYH ^ISEL.
      (e) sU]ESTWUET NATURALXNOE ^ISLO, NE PREWOSHODQ]EE WSEH NATURALXNYH ^ISEL.
      (f) uRAWNENIE a + x = b RAZREIMO W N.
      (g) uRAWNENIE a + x = b NERAZREIMO W N.
      (h) uRAWNENIE ax = b RAZREIMO W N.




                                           106