schematic variable（公理スキーマに現れる変数で）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

schematic variable

(logic) A variable that appears in an axiom schema and ranges over formulas, distinguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse.

日本語の意味

公理スキーマに現れる変数で、論理式全体を扱う。個体が対象となる公理スキーマ中で量化される変数とは区別される。

このボタンはなに？

In the formal derivation, the schematic variable α ranges over formulas in the axiom schema and should not be confused with object-language variables that are quantified over individuals.

翻訳する

形式的導出では、メタ変数αは公理スキーマ内の式全体を取りうるものであり、個体について量化される対象言語の変数と混同してはなりません。

詳細