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



Pobieranie 6.74 Mb.
Strona55/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   49   50   51   52   53   54   55   56   57
d} . Teraz mamy B╞ ( , ... , ) , więc konsekwentnie A╞ (

Pobieranie 6.74 Mb.

Share with your friends:
1   ...   49   50   51   52   53   54   55   56   57




©operacji.org 2020
wyślij wiadomość

    Strona główna