funkcja zdaniowa

funkcja zdaniowa,

log. wyrażenie zawierające zmienne, z których co najmniej jedna jest wolna (zmienna logiczna), a które po podstawieniu odpowiednich stałych w miejsce zmiennych wolnych przekształca się w zdanie, np. „x ∈ y”, „x jest studentem”;

np. „x ∈ y”, „x jest studentem”.