【形成规则】的繁体字: 形成規則
【形成规则】的读音为 xíng chéng guī zé,无声调拼音为 xing cheng gui ze,简拼为 XCGZ
【形成规则】的笔画分别为7画、6画、8画、6画,部首分别为彡部、戈部、见部、刂部。
【分字繁体字】形的繁体字 成的繁体字 规的繁体字 则的繁体字
形成规则(formation rule)是形式系统中规定哪些符号序列是合式的、哪些是不合式的规则。解释后有意义的符号序列叫作合式的,解释后没有意义的是不合式的。形成规则实际上是合式公式的定义。例如在有的命题演算中,规定初始符号是:(甲)p、q、r、p1、q1、r1.、p2、q2、r2、p3、q3、r3、p4、q4、r4……。(乙)﹁、V。(丙)(,)。