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



Pobieranie 6.74 Mb.
Strona46/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   42   43   44   45   46   47   48   49   ...   57
ym) , gdzie formuły  i  są otwarte, zmieniamy zmienne pod kwantyfikatorami w drugiej z nich na inne np. {z1 , ... , zm} tak aby nie występowały one w  , nie występowały one w  i wśród {x1 , ... xn} . Otrzymamy wtedy formułę [ ... ] . Na mocy kroku 1, formuły (Qz1) ... (Q

Pobieranie 6.74 Mb.

Share with your friends:
1   ...   42   43   44   45   46   47   48   49   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna