Funkcje

Funkcja – sposób przyporządkowania każdemu elementowi danego zbioru X dokładnie jednego elementu pewnego zbioru Y.
Ściśle funkcja jest definiowana jako relacja pomiędzy elementami zbioru X (dziedziny) i elementami zbioru Y (przeciwdziedziny), o tej własności, że każdy element zbioru X jest w relacji z jednym i tylko jednym elementem zbioru Y.


Funkcja 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 (formy) 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.
Każde równanie liczbowe i każda taka nierówność z jedną niewiadomą jest funkcją (formą) 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 ilości liczb. 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 formy zdaniowej w X.