解釋方法

其一般定義為：按照一定的規則，用具體謂詞（即代入謂詞變項）、專有名詞（即代入個體變項）、具體命題（即代入命題變項）等對謂詞邏輯公式進行相應的替代，進而從數理邏輯的公式得到自然語言的可判定真假的形式邏輯的命題。

其嚴格定義為：命題B是公式A相對於個體域D的解釋，當且僅當，能按以下方式從A得到B：用相對於個體域D中的個體有意義的謂詞和運算符號分別替代A中的謂詞變項和運算符號，並且，用D中個體的專有名詞替代A中的個體常項或自由個體變項。其中，解釋域是被解釋公式中個體變項的個體域。