formuła atomowa

formuła atomowa,

wyrażenie danego języka formalnego nie zawierające żadnej stałej logicznej;

szczególnym przypadkiem a.f. jest atomowe zdanie, czyli taka a.f., która nie zawiera zmiennych wolnych (zmienna logiczna).