logical formula

Japanese: logical formula（英語表記）logicalformula

…The axioms of logic are the axiomatic system of reasoning used in science, especially mathematics, that is, the method of deductive reasoning. First, we take as axioms a number of logical formulas that express the basic method of reasoning. A logical formula is a diagrammatic representation of propositions or relationships between propositions that appear in reasoning, using symbols. …

*Some of the terminology explanations that mention "logical formula" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

Japanese:

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

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

出典｜株式会社平凡社世界大百科事典第２版について | 情報

<<: logical atomism

>>: logogram