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

最終更新日：2025/11/29

例文

To simplify proofs, we convert each predicate logic formula into prenex normal form before applying resolution.

証明を簡潔にするために、各述語論理の式を全ての量化子が行列の前に出る形（前束標準形）に変換してから解消法を適用します。

正解を見る

To simplify proofs, we convert each predicate logic formula into prenex normal form before applying resolution.

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

名詞

不可算名詞

日本語の意味

述語論理において、論理式を前束（量化子部分）と行列（量化子のかかる部分）に分け、前束を先頭に置く形で表現する方法。

To simplify proofs, we convert each predicate logic formula into prenex normal form before applying resolution.

証明を簡潔にするために、各述語論理の式を全ての量化子が行列の前に出る形（前束標準形）に変換してから解消法を適用します。

項目の編集設定

例文の編集設定

問題の編集設定