コトバンクはYahoo!辞書と技術提携しています。

logical formula logicalformula

世界大百科事典内のlogical formulaの言及

【公理系】より

…論理学の公理系とは,科学,とくに数学で用いられる推論,つまり演繹的推理の方法を公理的体系として組織したものである。はじめに,公理として基本的な推理方法を表現する若干個の論理式logical formulaをとる。論理式とは,推理に登場する命題あるいは命題間の関係を記号を用いて図式的に表現したものである。…

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

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

logical formulaの関連キーワード鉱物

今日のキーワード

きらきらネーム

俗に、一般的・伝統的でない漢字の読み方や、人名には合わない単語を用いた、一風変わった名前のこと。名字についてはいわない。どきゅんネーム。[補説]名前に使用する漢字は、戸籍法により常用漢字・人名用漢字の...

続きを読む

コトバンク for iPhone

コトバンク for Android