1. 句型：令G是一个如上所定义的文法,则 G = (T, N, P, S).G上的推导步骤(derivation step)格式α A γ αβγ,其中α 和γ是(T ∪ N)*中的元素,且有 A→β在P中(终结符和非终结符的并集, 有时被称作G的符号集,set of symbol) ,且(T ∪ N)*中的串α被称作句型( sentential form) .
2. 命题形式：sentential combination 复合命题 | sentential form 命题形式 | sentential formula 命题公式
3. 句型,句型：sentential calculus ==> 句子演算,句子演算 | sentential form ==> 句型,句型 | senter tap ==> 設定能