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

gLAWA   VI.   aLGEBRA PRELIKATOW

 11. pRIWEDITE PRIMER WYPOLNIMOJ FORMULY I POKAVITE EE WYPOLNIMOSTX.
 12. pRIWEDITE PRIMER NEWYPOLNIMOJ FORMULY.
 13. pRIWEDITE PRIMER FORMULY, WYPOLNIMOJ W ODNOJ INTERPRETACII I NEWYPOLNIMOJ W DRUGOJ.
 14. pRIWEDITE PRIMER FORMULY, ISTINNOJ W ODNOJ INTERPRETACII I NE QWLQ@]EJSQ ISTINNOJ
     W DRUGOJ.
 15. uKAVITE MODELI DLQ SLEDU@]EGO MNOVESTWA FORMUL:
                           ;1 = f8x 8y 8z (xy = z)
 ((xy = t & xy = t1) ! t = t1 )

                                   x(yz) = (xy)z
 8x 8y 9z 9t (xz = y & tx = y)g:
   2.6. uPRAVNENIQ. dOKAVITE SLEDU@]IE UTWERVDENIQ.
  1. a LOVNA W DANNOJ INTERPRETACII TOGDA I TOLXKO TOGDA, KOGDA :a ISTINNA W TOJ VE INTER-
     PRETACII.
  2. nIKAKAQ FORMULA NE MOVET BYTX ODNOWREMENNO ISTINOJ I LOVNOJ W ODNOJ I TOJ VE INTER-
     PRETACII.
  3. eSLI W DANNOJ INTERPRETACII ISTINNY a I a ! b, TO ISTINNA I b.
  4. a ! b LOVNA W DANNOJ INTERPRETACII TOGDA I TOLXKO TOGDA, KOGDA a W \TOJ INTERPRETACII
     ISTINNA, A b LOVNA.
  5. dOKAVITE, ^TO FORMULA 8x (P (x) _ :P(x)) OB]EZNA^IMA.
  6. iSPOLXZUQ QZYK ALGEBRY PREDIKATOW ZAPIITE W SIMWOLI^ESKOJ FORME:
      (a) oPREDELENIE PREDELA POSLEDOWATELXNOSTI
      (b) oPREDELENIE PREDELA FUNKCII
      (c) oPREDELENIE PROSTOGO ^ISLA
      (d) oPREDELENIE nod I nok DWUH ^ISEL.




                                                  110