スコーレム化2024/4/2 23:22:00 存在限量子\( \exists \)の除去 論理式から∃をなくす操作 以下のようにする。 \( \forall x \exists y G(x, y)\) \( = \forall x G(x, F(x)) \) このときの\(F\)をスコーレム関数と呼ぶ
