解釋(邏輯) - 维基百科,自由的百科全书

文章推薦指數: 80 %
投票人數:10人

解釋(邏輯) 維基百科,自由的百科全書 跳至導覽 跳至搜尋 解釋是一種將形式語言中的符號賦予意義的行為。

許多使用於數學、邏輯及理論電腦科學的形式語言都會以純語法的方式定義,且直到給予某些解釋之前,不含有任何意義。

一般研究形式語言的解釋的學科稱為形式語義學。

最常研究的形式邏輯為命題邏輯、謂詞邏輯及其衍生的邏輯,且此類的邏輯都已經有標準的方式來給出解釋。

在這些情況下,解釋是一個可以提供目標語言的符號及符號字串外延的函數。

例如,一個



請為這篇文章評分?