数理论理学第2回-茨城大学.ppt

* * * * * * * * * * * * * * * * * * * * * 数理論理学　第10回 茨城大学工学部情報工学科 佐々木　稔 前回までのあらすじ 述語論理 関数 定義域 量記号 配布資料は以下のURLからダウンロードできます http://sas.cis.ibaraki.ac.jp/logic/ 前回の問題 述語 F、G、H、I をそれぞれ「カエルである」、「緑色である」、「跳ねている」、「虹色である」として、以下の各文を形式化せよ。 すべてのカエルは緑色である。 あるカエルは緑色でない。 緑色のカエルが存在する。 あるものは緑色でも虹色でもある。 ある緑色のカエルは跳ねていない。 前回の問題 すべてのカエルは緑色である。 ?x(F(x) ? G(x)) あるカエルは緑色でない。 ?x(F(x) ∧ ～G(x)) 緑色のカエルが存在する。 ?x(G(x) ∧ F(x)) あるものは緑色でも虹色でもある。 ?x(G(x) ∧ I(x)) ある緑色のカエルは跳ねていない。 ?x((G(x) ∧ F(x)) ∧ ～H(x)) 今週のお題 述語論理の解釈 述語論理式の形成規則 述語論理式の解釈 述語論理の恒真式 量記号を含む述語論理式の性質 述語論理式の形成規則 項 固体定数、固体変数 t1, t2, ???, tn が項ならば、 　　n 引数の関数 f(t1, t2, ???, tn) も項 基礎項 項のなかで固体変数を含まないもの Alice, 父親（Bob） など 述語論理式の形成規則 述語論理式の形成規則 t1, t2, ???, tn が項ならば、基本論理式で 　　ある n 項述語 P(t1, t2, ???, tn) は論理式 P, Q が論理式ならば、 ～P, P?Q も論理式 P∨Q、 P∧Q、 P?Q も論理式 P が論理式、x が固体変数ならば、 ?xP、?xP も論理式 形成規則を用いた例 P(a)∧Q(a, b) は論理式かどうか a, bは項であるから、P(a), Q(a, b) は論理式 P(a), Q(a, b) は論理式であるから、 　　P(a)∧Q(a, b) は論理式 従って、P(a)∧Q(a, b) は論理式 閉論理式 束縛変数と自由変数 束縛変数： 量記号を伴った変数 自由変数： 量記号を伴わない変数 閉論理式 自由変数を含まない論理式 閉論理式でない論理式 どんな固体定数を割り当ててもよい 一般に論理式の真偽を決められない 閉論理式の真偽値 固体変数、関数値の定義域を D 真偽値の決め方 各変数に定義域 D の要素を割り当て、 　　関数があればその値を求める 基本論理式である述語の真偽値を決める 真偽値の組合せから論理演算を行う ?x では、すべての x で?xP が真であれば真、?x では、ある x で?xP が真であれば真 述語論理式の解釈 論理式 A の真偽は固体の取り方で異なる 定義域の取り方 固体定数 固体変数 関数記号 定義域と述語記号の対応関係 述語への真偽の割り当て 論理式 A の解釈は多数存在する 述語論理式の解釈例 論理式 ?x(P(x)∨Q(f(x), a)) 解釈例 D = {スペード、ハート、ダイヤ、クラブ} a = クラブ f: f(スペード)=ハート、 f(ハート)=スペード、 　　　 f(ダイヤ)=クラブ、 f(クラブ)=ハート P(x) : 「x は赤いマークである」 Q(x, y) : 「x は y より順位が高い」 述語論理式の解釈例 Q(x, y) : 「x は y より順位が高い」 (x, y) ∈ {(スペード、ハート)、 (スペード、ダイヤ)、 (スペード、クラブ)、 (ハート、ダイヤ)、 (ハート、クラブ)、 (ダイヤ、クラブ)} のとき、Q(x, y) は真 述語論理式の解釈例 x = スペード P(スペード)∨Q(f(スペード), クラブ) = P(スペード)∨Q(ハート, クラブ) = F∨T = T x = ハート P(ハート)∨Q(f(ハート), クラブ) = P(ハート)∨Q(スペード, クラブ) = T∨T = T x = ダイヤ P(ダイヤ)∨Q(f(ダイヤ), クラブ) = P(ダイヤ)∨Q(クラブ, クラブ) = T∨F = T 述語論理式の解釈例 x = クラブ P(クラブ)∨Q(f(クラブ), クラブ) = P(クラブ)∨Q(ハート, クラブ) = F∨T = T したがって、 ?x(