x-茨城大学.pptVIP

* * * * * * * * * * * * * * * * * * * * * * 前回までのあらすじ 述語論理の解釈 述語論理式の形成規則 述語論理式の解釈 述語論理の恒真式 量記号を含む述語論理式の性質 配布資料は以下のURLからダウンロードできます http://sas.cis.ibaraki.ac.jp/logic/ 前回の問題 以下の論理式について考える。 ?x(P(x)∨Q(f(x), a)) 　この論理式の解釈として、以下のものを設定する 定義域 D={0, 1, 2, 3, 4} a = 10 f : f(x) = x2 P(x) : 「x は偶数である」 Q(x、y) : 「xy である」 　この論理式の真偽を判定せよ。 前回の問題2 x=0 のとき、 P(0)∨Q(f(0), 10) = T ∨ F = T x=1 のとき、 P(1)∨Q(f(1), 10) = F ∨ F = F x=2 のとき、 P(2)∨Q(f(2), 10) = T ∨ F = T x=3 のとき、 P(3)∨Q(f(3), 10) = F ∨ F = F x=4 のとき、 P(4)∨Q(f(4), 10) = T ∨ T = T 以上より、?x(P(x)∨Q(f(x), a)) は偽である。 今週のお題 述語論理の解釈 スコーレム標準形 束縛変数の付け替え 冠頭標準形 スコーレム