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



Pobieranie 6.74 Mb.
Strona17/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   13   14   15   16   17   18   19   20   ...   57
a : X  A takie, że B╞ x0 [a] . Niech a(x1) = a1 , ... , a(xn) = an . Ponieważ a jest wartościowaniem w A , więc istnieje m , że a1 , … , an  Am . Ponieważ B╞ x0 [ , … , ] , więc układ < , a1 , … , an> był rozważany przy konstrukcji Am + 1 . W konsekwencji, istnieje a0  Am + 1  A takie, że B╞ [, , … , ] , czyli wartościowanie a(x0a0) spełnia  w B . To pokazuje, że A spełnia warunek () , jest więc uniwersum elementarnego podsystemu B .



Pobieranie 6.74 Mb.

Share with your friends:
1   ...   13   14   15   16   17   18   19   20   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna