... 为该系统的形式语言指定论域,并给出形式语言内个体常项、函数符号、谓词符号在该 ... 称为结构U的个体域,记为│U│; (2)τ是定义在L 2 的非逻辑符号集上的一个映射, ...
確定! 回上一頁