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

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

此類形式語言中的標準解釋為一個將每一命題符號映射至真值的真或假之中其中一個的函數。

此函數稱為真值賦值函數。

在許多的表述中，這個函數就於字面上的意思 ... 解釋是一種將形式語言中的符號賦予意義的行為。

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

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

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

在這些情

請為這篇文章評分？

延伸文章資訊