释
形成规则
xíng chéng guī zé · ㄒㄧㄥˊ ㄔㄥˊ ㄍㄨㄟ ㄗㄜˊ
修撰于 2026-07-01 10:01:17
音义
| 拼音 | xíng chéng guī zé |
|---|---|
| 字母 | xing cheng gui ze |
| 首字母 | xcgz |
| 注音 | ㄒㄧㄥˊ ㄔㄥˊ ㄍㄨㄟ ㄗㄜˊ |
| 注音符号 | ㄒㄧㄥ ㄔㄥ ㄍㄨㄟ ㄗㄜ |
广训
形成规则(formation rule)是形式系统中规定哪些符号序列是合式的、哪些是不合式的规则。解释后有意义的符号序列叫作合式的，解释后没有意义的是不合式的。形成规则实际上是合式公式的定义。例如在有的命题演算中，规定初始符号是：(甲)p、q、r、p1、q1、r1.、p2、q2、r2、p3、q3、r3、p4、q4、r4……。(乙)﹁、V。(丙)(，)。