Rachunek predykatów

Nasza ocena:

5
Pobrań: 140
Wyświetleń: 1246
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Rachunek predykatów - strona 1 Rachunek predykatów - strona 2

Fragment notatki:


Rachunek predykatów Term - napis nad alfabetem A, który powstaje przez zastosowanie skończoną liczbę razy reguł: są termami
są termami
jeżeli są termami a F jest n - argumentowym symbolem funkcyjnym to jest termem
Formuła atomowa - n - argumentowy symbol predykatywny wyznaczony na n termach czyli ma ona postać forma zdaniowa - napis nad alfabetem A, który powstaje przez zastosowanie skończoną liczbę razy reguł:
formuła atomowa jest formą zdaniową
jeżeli są formami zdaniowymi to , , , , są formami zdaniowymi
jeżeli jest formą zdaniową zależną od zmiennej x to i są formami zdaniowymi
D ziedzina i zbiór rozwi ą za ń formuły Dziedzina formy zdaniowej - zbiór wszystkich stałych, dla których forma staje się zdaniem logicznym po wstawieniu za x tej stałej. Oznaczamy ją Zbiór rozwiązań formy zdaniowej - zbiór wszystkich stałych z dziedziny formy takich, że jest zdaniem prawdziwym po wstawieniu tej stałej. Oznaczamy ją . Definicję zapisujemy następująco: Twierdzenia o zbiorach rozwi ą za ń dla koniunkcji, alternatywy itp. Kwantyfikatory Kwantyfikatory o ograniczonym zakresie Reguły wnioskowania dla kwantyfikatorów ... zobacz całą notatkę



Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz