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



Pobieranie 6.74 Mb.
Strona33/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   29   30   31   32   33   34   35   36   ...   57
) = ()  () . Stosując teraz regułę odrywania, widzimy, że ciąg 

Pobieranie 6.74 Mb.

Share with your friends:
1   ...   29   30   31   32   33   34   35   36   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna