To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
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)