Logika prof dr hab. Bogdan WĘglorz rachunek zdań, algebry uniwersalne. Systemy relacyjne



Pobieranie 6.74 Mb.
Strona26/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   22   23   24   25   26   27   28   29   ...   57
x )  y () . Odwrotnie, podstawiając x za y w () otrzymamy znów  , czyli ()() jest  . Dlatego też formuła y()   jest aksjomatem, co daje y () ├  i ponieważ x  Z(y ()) , prawo uogólnień daje y () ├ x  , czyli ostatecznie ├y ()  x  .



Pobieranie 6.74 Mb.

Share with your friends:
1   ...   22   23   24   25   26   27   28   29   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna