| 字词 | 子模型 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 子模型设L为任一一阶语言，U=〈A,⌝1〉和B=〈B,⌝2〉为其两个模型。模型U称为模型B的子模型，如果A⇩B，并满足：(ⅰ)对L中的任一n阶关系符号r及任意元素a1，…，anεA，〈a1，…，an〉ε⌝1(r)当且仅当〈a1，…，an〉ε⌝2(r);(ⅱ)对于L中的任一m元函数符号f及任意元素a1，…，amεA,⌝2(f)(a1，…，a#—[m])=⌝1(f)(a1，…，am);(ⅲ)对于L中的任一个体常量符号C,⌝2(c)=⌝1(c)。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。