解释

逻辑系统的语义：①对命题演算系统而言，解释即赋值，一种解释就是对命题变元的一种可能的赋值状况及对真值连接词的语义作出规定；②对一阶谓词演算系统而言，它由两个部分组成：一个是论域，常记为<I>D</I>；另一个是映射，常记为σ，使常元、函词、谓词分别对应<I>D</I>上的个体、函数及性质、关系。对给定解释<I>I</I>=〈<I>D</I>，σ〉，若公式<I>α</I>中所有自由变元已取得指派，那么<I>α</I>即可判定其真值。如果公式<I>α</I>在解释<I>I</I>下恒取真值，便称<I>I</I>为<I>α</I>的一个模型(model)；如果公式集∑中所有公式均以<I>I</I>为模型，则称<I>I</I>为公式集∑的模型。

说明；解释；注释