t_wの輪郭

クルト・ゲーデル健全性完全性個体の量化量化述語論理
スコーレム化一階述語論理の融合法『知識工学 第8回　二宮 崇』融合法連言標準形

スコーレム化

2024/4/2 14:22:00

存在限量子\( \exists \)の除去

論理式から∃をなくす操作


以下のようにする。
\( \forall x \exists y G(x, y)\)
\( = \forall x G(x, F(x)) \)

このときの\(F\)をスコーレム関数と呼ぶ