窗口将在 5 秒后自动关闭.
名复: interpretations
n.
对他的到来可作出不止一种解释。
对那首交响乐的极佳诠释
同义参见:
以上来源于:《英汉大辞典》
以上来源于:《简明牛津英语词典》
查看更多
解释
逻辑系统的语义:①对命题演算系统而言,解释即赋值,一种解释就是对命题变元的一种可能的赋值状况及对真值连接词的语义作出规定;②对一阶谓词演算系统而言,它由两个部分组成:一个是论域,常记为<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>为公式集∑的模型。
以上来源于:《英汉计算机技术大辞典》
说明;解释;注释
以上来源于:《英汉法律词典》