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

最終更新日：2025/11/29

例文

When converting the formula to prenex normal form, we replaced the variable bound by an existential quantifier that lay within the scope of an even number of logical negations with a Skolem function.

Google翻訳 / DeepL翻訳

式をプレネックス標準形に変換する際、偶数回の論理否定の範囲にある存在量化子によって束縛された変数を置き換える関数でその変数を置き換えた。

復習用の問題

Sentence quizzes to help you learn to read

正解を見る

When converting the formula to prenex normal form, we replaced the variable bound by an existential quantifier that lay within the scope of an even number of logical negations with a Skolem function.

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

詳細

Skolem function

名詞

(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

日本語の意味

存在量化子によって束縛された変数を、論理否定が偶数回含まれる範囲内で置き換えるために、残る束縛変数を引数とする関数。

このボタンはなに？

When converting the formula to prenex normal form, we replaced the variable bound by an existential quantifier that lay within the scope of an even number of logical negations with a Skolem function.

Google翻訳 / DeepL翻訳

英語 - 英語

項目の編集設定

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

例文の編集設定

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

問題の編集設定

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

編集ガイドライン

復習用の問題

関連する単語

Skolem function

英語 - 英語

ログイン / 新規登録

アプリをダウンロード！

復習用の問題

関連する単語

Skolem function

英語 - 英語

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！