世界大百科事典内のlogical formulaの言及
【公理系】より
…論理学の公理系とは，科学，とくに数学で用いられる推論，つまり演繹的推理の方法を公理的体系として組織したものである。はじめに，公理として基本的な推理方法を表現する若干個の論理式logical formulaをとる。論理式とは，推理に登場する命題あるいは命題間の関係を記号を用いて図式的に表現したものである。…
※「logical formula」について言及している用語解説の一部を掲載しています。
出典｜株式会社日立ソリューションズ・クリエイト世界大百科事典 第２版について | 情報