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

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

【文章來源】：貴州工程應用技術學院學報. 2020,38(03)

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

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



本文編號：3021758