# Definition:Classes of WFFs/Sentence

Let $\LL_1$ be the language of predicate logic.
To denote particular classes of sentences, $\map {SENT} {\PP, \FF, \KK}$ and analogues may be used, similar to the notation for classes of WFFs.