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



Pobieranie 6.74 Mb.
Strona13/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   9   10   11   12   13   14   15   16   ...   57
a) = t (b) oraz

t(a) = t(b) . Stąd oczywiście A╞ (t1 = t2)[a] iff A╞ (t1 = t2)[b] .

Jeśli  jest postaci Pi t1 ... t , to ZV() = . A więc, założenie

Pobieranie 6.74 Mb.

Share with your friends:
1   ...   9   10   11   12   13   14   15   16   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna