说明：  有一些可能的符号K, A, N, C, E, p, q, r, s, t 。一个合式公式是符合以下条 件的字符串： • p, q, r, s, 和t 是合式公式 • 如果w 是合式公式，Nw 是合式公式 • 如果w 和x 是合式公式，Kwx, Awx, Cwx, 和Ewx 是合式公式。
(There are some of the possible symbols K, A, N, C, E, P, Q, R, S T. A well-formed formula is a string that meets the following conditions: • The p, q, r, s, and t is the well-formed formulas • If w is formed formulas, Nw formed formulas • If w and x is formed formulas Kwx Awx, Cwx The and Ewx formed formulas.)