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



Pobieranie 6.74 Mb.
Strona54/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   49   50   51   52   53   54   55   56   57
d1 , ... , dn) będzie skończoną koniunkcją zdań z A . Ponieważ zdanie uniwersalne x1 ... xm (x1 , ... , xm , d1 , ... , dn) nie jest prawdziwe w A , więc nie jest ono konsekwencją T  {} . Stąd T  {}  {(c, ... , c, d1 , ... , dn)} jest niesprzeczne. A więc, z Twierdzenia o Zwartości, zbiór T  {}  A jest niesprzeczny. Niech B = (B , {d , ... , d}) będzie modelem T  {}  A . Ponieważ A jest diagramem A więc możemy założyć, że A  B co, na mocy modelowej zupełności natychmiast daje A  B oraz, że {b1 , ... , bn} = {d , ... ,

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