推論規則（読み）すいろんきそく

世界大百科事典（旧版）内の推論規則の言及

【形式言語】より

…このシステムは記号論理の推論系を形式化したもので，3項組T＝(Σ，Ρ，α)で与えられる。ここに，αは公理といわれる一つの語，Ρはプロダクションと呼ばれる推論規則の集合，Σは公理とプロダクションに現れる文字の集合，つまりTのアルファベットである。実例を作ってみよう。…

※「推論規則」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」