您现在所在的位置: 首页> 心理专业> 专业名称> 解释方式

解释方式

其一般定义为:按照一定的规则,用具体谓词(即代入谓词变项)、专有名词(即代入个体变项)、具体命题(即代入命题变项)等对谓词逻辑公式进行相应的替代,进而从数理逻辑的公式得到自然语言的可判定真假的形式逻辑的命题。 其严格定义为:命题B是公式A相对于个体域D的解释,当且仅当,能按以下方式从A得到B:用相对于个体域D中的个体有意义的谓词和运算符号分别替代A中的谓词变项和运算符号,并且,用D中个体的专有名词替代A中的个体常项或自由个体变项。其中,解释域是被解释公式中个体变项的个体域。
词条统计信息

创建者:jmlgageb

编辑次数:0

词条浏览:1232

最近浏览: 12小时前

对该词条做出贡献的用户
心理问答
大家正在看的词条

关于我们|广告服务|客服中心|免责条款|联系我们

粤ICP备10217215号-2    粤公网安备44030502004661号   版权所有 © 爸妈在线 举报邮箱:054@bamaol.com