:
述語論理の完全性定理
:
述語論理の公理系
:
解釈
充足性とモデル
を
の部分集合の論理式の集合
(4.64)
とする
充足性 解釈
と対象変数記号と
の要素の対応
に対して
(4.65)
のとき,
と
は
を充足するという。このとき,
(4.66)
と書くことにする。
モデル 解釈
と対象変数記号全体と
の要素の 任意の対応
に対して
(4.67)
のとき,
は
のモデルであるという。 このとき
(4.68)
と書くことにする。
Yasunari SHIDAMA