有一些可能的符号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.