一阶语言 L \mathcal{L} L的符号 变元符号(变量符号) 格式: x 1 , x 2 , . . . x_{1},x_{2},… x1,x2,... 含义:可以看作程序中的变量,或者表示每天的…
标签:# 面向计算机的数理逻辑
【面向计算机的数理逻辑/软件理论基础笔记】一阶谓词逻辑系统的语义解释、赋值、可满足性
解释 定义:在命题逻辑中,我们需要对将命题中的复杂的语言符号转换成我们可以进行计算的逻辑公式,这个过程我们叫做解释,用符号 I I I表示解释的内容。 在一阶语言 L \mathcal{L} L中, L \mathcal…