發(fā)布時(shí)間：2021-02-07 05:46

　　要賦予一階謂詞公式確定的含義,首先要確定個(gè)體域。個(gè)體域確定之后,個(gè)體變項(xiàng)的變化范圍也就確定下來了,進(jìn)而可給出個(gè)體常項(xiàng)、謂詞符號(hào)的解釋。個(gè)體域的確定、個(gè)體常項(xiàng)和謂詞符號(hào)的解釋構(gòu)成了一階語言的模型。事實(shí)上,受謂詞的限制,個(gè)體變項(xiàng)的實(shí)際取值范圍達(dá)不到個(gè)體域,只是個(gè)體域的子集,一旦超過實(shí)際取值范圍,就會(huì)使語句發(fā)生句法錯(cuò)誤。對(duì)個(gè)體變項(xiàng)實(shí)際取值范圍的限制要靠預(yù)設(shè)得以實(shí)現(xiàn)。于是怎么把這種預(yù)設(shè)關(guān)系體現(xiàn)在形式語句中就是一個(gè)關(guān)鍵點(diǎn)了。 

【文章來源】：貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào). 2020,38(03)

【文章頁數(shù)】：10 頁

【參考文獻(xiàn)】：
期刊論文
[1]命題的一個(gè)新定義與命題的同一性問題[J]. 周文華.  云南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2016(04)
[2]預(yù)設(shè)與蘊(yùn)含[J]. 劉利華.  伊犁師范學(xué)院學(xué)報(bào). 2003(02)



本文編號(hào)：3021758