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



Pobieranie 6.74 Mb.
Strona39/57
Data25.10.2017
Rozmiar6.74 Mb.
1   ...   35   36   37   38   39   40   41   42   ...   57

 ( )   oraz  ( )    są twierdzeniami rachunku zdań oraz   jest postaci

 [ x   ()] , więc mamy następujące formuły jako twierdzenia T :  () oraz x  . Przechodząc do  mamy T├  x  oraz T├  () . Stosując do tego ostatniego prawo


Pobieranie 6.74 Mb.

Share with your friends:
1   ...   35   36   37   38   39   40   41   42   ...   57




©operacji.org 2020
wyślij wiadomość

    Strona główna