• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Funkcja zdaniowa

    Przeczytaj także...
    Ekstensja funkcji zdaniowej - zakres funkcji zdaniowej wyznaczony przez zbiór symboli, które wstawione w miejsce zmiennych wolnych zmieniają tę funkcję w zdanie prawdziwe.Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążacym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu.
    Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.

    Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich nazw staje się zdaniem.

    Dla funkcji (formuły) zdaniowej F(x) o jednej zmiennej wolnej x, rozważanej w zbiorze X, wprowadza się pojęcie dziedziny DX(F) lub D(F,X) funkcji zdaniowej, obejmując tą nazwą podzbiór elementów zbioru X o tej własności, że po podstawieniu w funkcji zdaniowej F(x) w miejsce zmiennej x nazw tych elementów otrzymuje się zdanie prawdziwe lub fałszywe.

    Zbiór liczb rzeczywistych – uzupełnienie zbioru liczb wymiernych. Zbiór liczb rzeczywistych zawiera m.in. liczby naturalne, ujemne, całkowite, pierwiastki liczb dodatnich, wymierne, niewymierne, przestępne, itd. Z drugiej strony na liczby rzeczywiste można też patrzeć jak na szczególne przypadki liczb zespolonych.Liczba – pojęcie abstrakcyjne, jedno z najczęściej używanych w matematyce. Pierwotnie liczby służyły do porównywania wielkości zbiorów przedmiotów (liczby naturalne), później także wielkości ciągłych (miary i wagi), obecnie w matematyce są rozważane jako twory abstrakcyjne, w oderwaniu od ewentualnych fizycznych zastosowań.

    Każde równanie liczbowe i każda taka nierówność z jedną niewiadomą jest funkcją (formuła) zdaniową, której dziedziną jest pewien zbiór liczb. Każde równanie z dwiema lub więcej niewiadomymi jest funkcją zdaniową, której dziedziną jest zbiór par lub trójek lub odpowiednio większej liczby argumentów. Jeżeli zdanie F(a) jest prawdziwe, to mówi się, że element a spełnia funkcję zdaniową F(x). Zbiór elementów zbioru X spełniających daną funkcję zdaniową nazywa się ekstensją funkcji zdaniowej lub wykresem formuły zdaniowej w X.

    Przykład[]

    Funkcja zdaniowa x>2 zamienia się w zdanie dla tych x, dla których ten zapis ma sens. Wszelkie liczby rzeczywiste należą więc do jej dziedziny, podczas gdy na przykład nazwa LEW lub liczba zespolona 1+2i już nie. Ekstensją natomiast jest podzbiór liczb rzeczywistych, które są większe od 2.




    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Reklama

    Czas generowania strony: 0.016 sek.