絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/25

例文

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.

Google翻訳 / DeepL翻訳

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

復習用の問題

Sentence quizzes to help you learn to read

正解を見る

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.

音声機能が動作しない場合はこちらをご確認ください

詳細

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.

Google翻訳 / DeepL翻訳

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

英語 - 英語

項目の編集設定

項目の編集権限を持つユーザー - すべてのユーザー
項目の新規作成を審査する
項目の編集を審査する
項目の削除を審査する
重複の恐れのある項目名の追加を審査する
項目名の変更を審査する
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

例文の編集設定

例文の編集権限を持つユーザー - すべてのユーザー
例文の削除を審査する
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

問題の編集設定

問題の編集権限を持つユーザー - すべてのユーザー
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

編集ガイドライン

復習用の問題

関連する単語

schematic variable

英語 - 英語

ログイン / 新規登録

アプリをダウンロード！

復習用の問題

関連する単語

schematic variable

英語 - 英語

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！