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

UptoLike

ВУЗ: 

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

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

Рубрика: 

gLAWA   VI.   aLGEBRA PRELIKATOW

     w KA^ESTWE OBRAZCA PRIWEDEM PRIMER REENIQ PUNKTA (a):
                            uPR. 2(b)            TEOR. 3.5.1
                    8x (a(x) ! d)  8x (:a(x) _ d) 
                          8x :a(x) _ d TEOR. 3.4.1 :9x a(x) _ d uPR. 2(b) 9x a(x) ! d:
                    TEOR. 3.5.1

  4. pUSTX a(x) | NEKOTORAQ FORMULA ALGEBRY PREDIKATOW, x | SWOBODNAQ PREDMETNAQ PEREMEN-
     NAQ W a(x). tOGDA ISTINNY SLEDU@]IE RAWNOSILXNOSTI:
      (a) 8x a(x)  :9x :a(x)
      (b) 9x a(x)  :8x :a(x)
      (c) 8x a(x) ! a(y)  9x (a(x) ! a(y))
      (d) a(y) ! 9x a(x)  9x (a(y) ! a(x)).




                                                  114

Страницы