Dziedzina formy zdaniowej

Dziedzina formy zdaniowej to zbiór takich elementów, dla których forma zdaniowa staje się zdaniem logicznym.

$D = R$ jeśli $=x:x\in R \$

Do dziedziny zaliczamy także elementy, które nie mogą występować w zdaniu logicznym, np. $D = R - x$, gdzie $x$ to liczba, której nie może być w dziedzinie np. gdy w mianowniku jest niewymierność lub takowa może wystąpić.