数理论理学第2回.pptVIP

* * * * * * * * * * * * * * * * * * 数理論理学　第12回 茨城大学工学部情報工学科 佐々木　稔 前回までのあらすじ スコーレム標準形 配布資料は以下のURLからダウンロードできます http://sas.cis.ibaraki.ac.jp/logic/ 前回の問題 次の述語論理式をスコーレム標準形に変換せよ。 ?x?y(P(x, y)?Q(x))=?x?y(~P(x, y)∨Q(x))y = f(x) と置くと、=?x(~P(x, f(x))∨Q(x)) 前回の問題 次の述語論理式をスコーレム標準形に変換せよ。 ~(?x?y((P(x, y)?~R(y))∧?zR(z)))= ~?x?y((~P(x, y)∨~R(y))∧?zR(z))= ?x?y(~(~P(x, y)∨~R(y))∨~?zR(z))= ?x?y((P(x, y)∧R(y))∨?z~R(z))x = a, z=g(y) と置くと、= ?y((P(a, y)∧R(y))∨~R(g(y)))= ?y((P(a, y)∨~R(g(y)))∧(R(y)∨~R(g(y)))) 今週のお題 スコーレム標準形（復習） 導出と推論 導出とは 反駁導出 述語論理と導出原理 単一化置換 単一化アルゴリズム ファクタリング スコーレム標準形 量記号のスコープ内に