In the textbook, Skolem functions are used to eliminate existential quantifiers during the proof.
教科書では、スコーレム関数が証明中の存在量化子を除去するために使われている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
