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



Pobieranie 6.74 Mb.
Strona43/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   39   40   41   42   43   44   45   46   ...   57


x   S . Używając własności Henkina, widzimy, że dla pewnej stałej c formuła x   () jest w S , i w konsekwencji ()  S czyli ()  S . Na mocy założenia indukcyjnego widzimy, że nie jest prawdą A╞ () [p] . To jeszcze można zmodyfikować następująco. Niech pbędzie modyfikacją p polegającą na położeniu p’(x) = c . Wtedy warunek A╞ () [p] jest równoważny warunkowi A╞  [p’] . Konsekwentnie widzimy, że warunek A╞  [p’] nie zachodzi. To jednak oznacza, że A╞ x  [p’] też nie zachodzi, a ponieważ p i próżnią się jedynie w punkcie x , więc ostatecznie otrzymujemy, że nie zachodzi A╞ x  [p] . To kończy indukcję więc i cały dowód.



Pobieranie 6.74 Mb.

Share with your friends:
1   ...   39   40   41   42   43   44   45   46   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna