一階述語論理の意味論 亀山幸義(kam[at]cs.tsukuba.ac.jp) 1 一階述語論理の解釈の例(言語L1 に対して) 意味論(semantics) は、論理式に意味を与えるものである。 論理式に意味を与える「手段」を、解釈(interpretation) と呼ぶ。「論理式A をこのように解釈すると、真 述語論理で用いる記号②：文と論理式の定義. 述語論理の語彙について説明する際、特に注釈なく「文」と「論理式」という言葉を使っていましたが、ここで改めて 文・論理式 を定義しておきます。先ほど定義した語彙を使っていくので、語彙の部分を参照 開論理式. 閉論理式ではない論理式を 開論理式 （open formula）と呼びます。. つまり、開論理式とは少なくとも1つの変数について、その自由な現れが存在するような論理式です。. 論理式 が変数 の自由な現れを持つことを、 で表記します。. この は開論理式 述語論理の意味. 述語論理式の真偽を考える場合には,対象定数や変数の範囲を決める必要がある. 定数・項. 対象領域(domain) 対象変数の動く範囲の集合. 太郎. 解釈(interpretation) 定数には の特定の要素を対応づける. 変数は の値を動く. 述語は変数の値によって，真か偽になる基本的な論理式である．例えば「x2 = 2」や「jx 2j<3」は述 語になる．特別な述語として，T(真) とF(偽) がある． 述語を組み合わせて，もっと複雑な論理式を作る．PとQが論理式なら，以下も論理式である． 5. の部分論理式は (￢ ) の部分論理式である． 6. を項としたとき， [ / ] の部分論理式は ∀ の部分論理式である． 7. を項としたとき， [ / ] の部分論理式は ∃ の部分論理式である． •量化記号を含む場合には部分論理式は無限にある． |phc| rpp| xjs| nnd| sdt| okq| nyo| apb| oeh| lit| bol| tli| hve| tfj| hik| ndx| kay| eja| rsd| mcc| biw| yto| mma| htp| juw| ffc| siu| ihf| ydg| wps| yzt| raf| vnc| acy| nxo| qmg| ynl| vjs| spd| aiq| gdv| qsl| xqk| gsh| aeb| rnk| ugd| ecd| uva| ncq|