logicalformula(その他表記)logicalformula

世界大百科事典(旧版)内のlogicalformulaの言及

【公理系】より

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

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

出典|株式会社平凡社「世界大百科事典(旧版)」

顔や四肢に特有の紅斑がみられる疾患で,伝染性紅斑の俗称。パルボウイルスの感染によって年長幼児,低学年児童に好発し,乳児や成人には少ない。1〜2週間の潜伏期ののち突然発疹が出る。発疹は両ほおに対称的に生...

リンゴ病の用語解説を読む