logiczna stała

logiczna stała,

wyrażenie odgrywające istotną rolę w wynikaniu log., mające ustalone przez logikę znaczenie, niezależne od dziedziny, w której to wynikanie zachodzi;

do stałych logicznych zalicza się: spójniki log., kwantyfikatory i znak identyczności; w systemach log. wszelkie wyrażenia są zbud. ze zmiennych logicznych i stałych logicznych oraz ewentualnie znaków pomocniczych, jak np. nawiasy.