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

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

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

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



本文編號(hào)：3021758