構成規則

数理論理学における構成規則（こうせいきそく、英: Formation rule）もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作といった統語論的対象のみであり、従って式のを定めるに先立って定義されている（形式文法も参照）。
形式体系.
アルファベット、構成規則、ならびにからなる体系は形式体系と呼ばれる。ここで、推論体系とは推論規則の集合と公理の集合の一方もしくはその両方からなる体系をいう。形式体系を定めれば、一つまたは複数の式から別の一つの式を演繹できるようになる。命題論理や述語論理は形式体系の例である。
命題論理と述語論理.
命題論理の構成規則は以下の形をとる。
述語論理の場合、この他に量化記号に関する次の規則がある。