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



Pobieranie 6.74 Mb.
Strona50/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   46   47   48   49   50   51   52   53   ...   57

Taka rodzina zależy nie tylko od  ale także od wyboru zmiennej. Wprowadźmy więc oznaczenie S( , x0 , a2 , ... , an) = {a  A : A╞ [, ... ]} . Niepustość tego zbioru oznacza oczywiście spełnianie formuły x0w A przez a2 , ... , an . Dokładniej mówiąc

S( , x0 , a2 , ... , an)   iff A╞ x0 [ ... ] .

Jeśli ustalimy jakiś element b  A , to możemy zdefiniować funkcje s : An –1  A przez warunek:



dowolne aS( , x0 , a2 , ... , an) jeśli A╞ x0 [ ... ] , oraz

b w przeciwnym przypadku .
Tak zdefiniowaną funkcję nazywamy

Pobieranie 6.74 Mb.

Share with your friends:
1   ...   46   47   48   49   50   51   52   53   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna