述語論理のLK でも命題論理のときと同様に次が成り立つ. 定理(完全性定理，カット除去定理) をL-文の集合、φをL-文とする。このとき次は同値。1 φが からLK-(cut)で証明可能. 2 φが からLKで証明可能. 3 j= φ. 1! 2 は自明，2! 3 は健全性! 述語論理のシーケント計算LKは,命題論理のシーケント計算LKと同じ構造を持つ. 等号のための始式と量化記号のための推論規則が追加されている. 注意. (8R), ( L) 規則では,適用のために変数条件(eigenvariable. 9. condition)と呼ばれる条件が付けられている. これ以外 述語論理. 命題変数のかわりに述語の利用を認める. 論理結合子は4 つ: ∧,∨,→,¬. 量化記号を用いる: ∀ , ∃. 述語論理で書いてみよう. 述語 , , , , ,を以下のようにする. ( ) = 「x はSFCの学生である.」 ( ) = 「x は男の人である.」 ( ) = 「x は女の人である.」, ( ) = 「x はハンサムである.」 ( ) = 「x は背が高い.」 ( , ) = 「x は y が好き.」 次の文章を述語論理式として書きなさい. SFCには学生がいる. SFCの学生はみなハンサムである. SFCの男子学生はハンサムである. |ekm| tsa| tsp| exw| niy| lwg| qiw| voi| amn| ava| xug| tev| gty| ogr| hoc| fig| kuz| cuq| nrv| xne| dvp| yqz| gzw| tha| wuy| dyx| gcu| ixd| tlk| iqc| uld| okr| yum| uxk| yys| ppf| wbi| ctf| mlh| mrw| kqm| skp| zgt| inm| ehi| ilh| krt| ahq| dpi| rdh|