形式逻辑
1. 形式論理：form overlay ==> 書式オーバレイ | formal logic ==> 形式論理 | formal parameter ==> 仮パラメータ
2. 形式逻辑 形式論理学：■ form factor of a basin 流域形状参数 流域形状係数 | ■ formal logic 形式逻辑 形式論理学 | ■ format 格式 形式, 書式, 初期化
3. 形式逻辑=>形式論理：formal leading coefficient ==> 形式的首项系数 | formal logic ==> 形式逻辑=>形式論理 | formal lower-bound ==> 形式下界
noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Synonym: symbolic logic mathematical logic