Aksjomat klasycznego rachunku predykatów - Google

Aksjomat klasycznego rachunku predykatów

Z Wikipedii

Skocz do: nawigacji, szukaj

Jeśli dopuścić reguły odrywania i generalizacji

\frac{\Phi , \Phi\Rightarrow\Psi}{\Psi}\qquad\frac{\Phi}{\forall_x \Psi}

jako reguły wnioskowania, to można przyjąć, że aksjomatem klasycznego rachunku predykatów (KRP) jest każda formuła zdaniowa języka KRP, którą można otrzymać z jakiejś tautologii klasycznego rachunku zdań poprzez konsekwentne zastąpienie wszystkich występujących w niej zmiennych zdaniowych formułami zdaniowymi języka KRP i jeszcze dwie klasy formuł (aksjomatów specyficznych):

\forall_x\Phi(x)\Rightarrow \Phi(t) o ile zmienna x nie znajduje się w zasięgu kwantyfikatora wiążącego jakąkolwiek zmienną występującą w termie t;
\forall_x(\Phi\Rightarrow\Psi)\Rightarrow(\Phi\Rightarrow\forall_x\Phi) o ile x nie jest zmienną wolną w formule Φ.

Można również przyjąć za aksjomaty KRP wszystkie podstawienia dowolnie wybranego układu aksjomatów klasycznego rachunku zdań i powyższe dwie klasy aksjomatów specyficznych.


[edytuj] Bibliografia

Witold A. Pogorzelski, Klasyczny rachunek predykatów, PWN 1981, ISBN 83-01-00567


Zalążek artykułu
Ponieważ to hasÅ‚o  zwiÄ…zane z matematykÄ… ma formÄ™ zaledwie zalążkowÄ…, pomóż nam je rozbudować, o ile dysponujesz odpowiednimi źródÅ‚ami.
Prosimy, zapoznaj siÄ™ najpierw z zasadami oraz zaleceniami edytowania Wikipedii.

Obama i McCain Å‚eb w Å‚eb
Barack Obama i John McCain idą łeb w łeb. Według najnowszego sondażu dziennika "The New York Times" i telewizji CBS News obaj kandydaci na prezydenta USA mają równe szanse na zwycięstwo w listopadowych wyborach.
Chiny zablokowały dostęp do iTunes
Władze Chin dbają o "prawomyślność", także w wiosce olimpijskiej. Po tym, jak ponad 40 sportowców biorących udział w igrzyskach ściągnęło z iTunes protybetański album, władze odcięły dostęp do serwisu.
Ocieplenie na linii Mińsk-Waszyngton?
Białoruski minister spraw zagranicznych Siergiej Martynow omówił w czwartek "kroki do poprawy relacji" ze Stanami Zjednoczonymi - podał białoruski resort spraw zagranicznych.
Umrze, jeśli nie porzuci 82 żon
84-letni Nigeryjczyk dostał od władz islamskich ultimatum: albo rozwiedzie się z 82 ze swoich 86 żon, albo zginie. Sytuacji oskarżonego nie polepsza opinia dziwaka, który rzekomo "może bezpośrednio rozmawiać z Allahem".
Dramatyczne sceny z katastrofy samolotu
Morze ognia, rozrzucone wszędzie szczątki samolotu, spalone drzewa - te dantejskie sceny nakręcono tuż po katastrofie samolotu na madryckim lotnisku Barajas. Amatorski film pokazała hiszpańska telewizja TVE.
Linki: Strona g³ówna