Loading AI tools
ウィキペディアから
数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作といった統語論的対象のみであり、従って式の解釈を定めるに先立って定義されている(形式文法も参照)。
アルファベット、構成規則、ならびに推論体系からなる体系は形式体系と呼ばれる。ここで、推論体系とは推論規則の集合と公理の集合の一方もしくはその両方からなる体系をいう。形式体系を定めれば、一つまたは複数の式から別の一つの式を演繹できるようになる。命題論理や述語論理は形式体系の例である。
命題論理の構成規則は以下の形をとる。
述語論理の場合、この他に量化記号に関する次の規則がある。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.