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



Pobieranie 6.74 Mb.
Strona48/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   44   45   46   47   48   49   50   51   ...   57
ym) są równoważne. Teraz formuły (Qz1) ... (Qzm) [ ... ] i (Q1x1) ... (Qnxn) spełniają założenia kroku 2, a więc formuła ([(Q1x1) ... (Qnxn)] s [(Qy1) ... (Qym)]) jest równoważna formule (Q1x1) ... (Qnxn) (Qz1) ... (Qzm)[ s  [ ... ]] . Aby zakończyć nasz dowód wystarczy sprowadzić formułę otwartą  s  [ ... ] do postaci normalnej, czyli do postaci

(11  ... )  (21  ...)  ...  (m1  ...) , gdzie każde ij jest literałem. Ale od tego zaczęliśmy dowód twierdzenia.





Pobieranie 6.74 Mb.

Share with your friends:
1   ...   44   45   46   47   48   49   50   51   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna