Transformation rule

...A logical formula is a diagrammatic representation, using symbols, of a proposition or a relationship between propositions that appear in reasoning. Next, a number of transformation rules are given to obtain other logical formulas from the logical formula. This corresponds to the method of reasoning in the axiom system of Euclidean geometry, but since our subject is the method of reasoning itself, it is called a transformation rule and is expressed as a simple operation like a substitution operation in algebra. ...

*Some explanations of terms that mention "transformation rule" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…論理式とは，推理に登場する命題あるいは命題間の関係を記号を用いて図式的に表現したものである。つぎに，論理式から他の論理式を得るための変形規則transformation ruleの若干個が与えられる。これは，ユークリッド幾何学の公理系における推理方法に当たるが，われわれの対象としているのは推理方法自体であるため，変形規則とよばれ，代数学における代入操作のような簡単な操作として表現される。…

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

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