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

                                                              x 2. tEOREMA O WYWODIMOSTI

2.8. kONTROLXNYE WOPROSY.
1. pERE^ISLITE WSE LEMMY DANNOGO PARAGRAFA POD IH \IMENAMI", PRIWEDENNYH W NAZWANIQH
   PUNKTOW.
2. pERE^ISLITE WSE LEMMY, ISPOLXZUEMYE W DOKAZATELXSTWE TEOREMY O WYWODIMOSTI. kAKIE IZ
   DOKAZANNYH LEMM NE ISPOLXZU@TSQ W DOKAZATELXSTWE TEOREMY O WYWODIMOSTI?
3. dLQ FORMULY a(A) = A PERE^ISLITE WSE WYWODIMOSTI, KOTORYE IME@T MESTO W SOOTWETSTWII
   S TEOREMOJ O WYWODIMOSTI.
4. tO VE SAMOE ZADANIE, ^TO I PREDYDU]EE, DLQ FORMULY a(A) = :A.
2.9. uPRAVNENIQ.
1. wOSPROIZWEDITE PO PAMQTI DOKAZATELXSTWO KAVDOJ IZ LEMM DANNOGO PARAGRAFA.
2. dLQ FORMULY a(A
 B) = A ! :(A ! B) PERE^ISLITE WSE WYWODIMOSTI, KOTORYE IME@T
   MESTO W SOOTWETSTWII S TEOREMOJ O WYWODIMOSTI.
3. tO VE SAMOE ZADANIE, ^TO I PREDYDU]EE, DLQ FORMULY a(A
 B
 C) = A ! (B ! :C).
4. dOKAVITE WYWODIMOSTX SLEDU@]IH FORMUL:
    (a) :(a ! :b) ! a
    (b) :(a ! :b) ! b
    (c) a ! (b ! :(a ! :b)).




                                         95