xíng chéng guī zé · ㄒㄧㄥˊ ㄔㄥˊ ㄍㄨㄟ ㄗㄜˊ
形成规则(formation rule)是形式系统中规定哪些符号序列是合式的、哪些是不合式的规则。解释后有意义的符号序列叫作合式的，解释后没有意义的是不合式的。形成规则实际上是合式公式的定义。例如在有的命题演算中，规定初始符号是：(甲)p、q、r、p1、q1、r1.、p2、q2、r2、p3、q3、r3、p4、q4、r4……。(乙)﹁、V。(丙)(，)。
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
抓书网 短词网 书号查询 星云网 玛曲棘豆是什么意思？ 查看青海天气-商丘天气预报 查看青海天气 青海是什么意思？ 让梦想照进现实演讲稿【优秀9篇】是什么意思？ 查看香港天气-天机气象站一周天气 查看香港天气 香港是什么意思？ 沈阳天气预报30天是什么意思？ 花篱是什么意思？ Vue3 如何将虚拟节点初次渲染到网页是什么意思？ 按笔画查询是什么意思？ 难是什么意思？ 财务是什么意思？ 鹵部首的字是什么意思？ 查看青海天气-紫外线指数 查看青海天气 青海是什么意思？ 抚顺天气预报30天是什么意思？ 百家号是什么意思？ fen是什么意思？ 期末考试前的周末日记是什么意思？