解釋(邏輯) - 维基百科,自由的百科全书
文章推薦指數: 80 %
解釋(邏輯)
維基百科,自由的百科全書
解釋是一種將中的賦予意義的行為。
許多使用於、及的形式語言都會以純的方式定義,且直到給予某些解釋之前,不含有任何意義。
一般研究形式語言的解釋的學科稱為。
最常研究的形式邏輯為、及其衍生的邏輯,且此類的邏輯都已經有標準的方式來給出解釋。
在這些情況下,解釋是一個可以提供目標語言的符號及符號字串的。
例如,一個解釋函數可作用在謂詞T(表示「高」)上,並賦予其一個外延{a}(表示「小明」)。