结构 (数理逻辑):修订间差异
外观
删除的内容 添加的内容
小 r2.6.4) (機器人 新增: es:Estructura (lógica) |
Ptbotgourou(留言 | 贡献) 小 r2.6.5) (機器人 新增: he:מבנה (לוגיקה מתמטית) |
||
第13行: | 第13行: | ||
[[fa:ساختار (ریاضی)]] |
[[fa:ساختار (ریاضی)]] |
||
[[fr:Structure (logique mathématique)]] |
[[fr:Structure (logique mathématique)]] |
||
[[he:מבנה (לוגיקה מתמטית)]] |
|||
[[it:Modello (logica matematica)]] |
[[it:Modello (logica matematica)]] |
||
[[pt:Estrutura de interpretação (lógica)]] |
[[pt:Estrutura de interpretação (lógica)]] |
2012年3月7日 (三) 22:22的版本
在数学学科模型论中,语言 的结构 (也叫做 '-结构',并通常写为哥特体大写)是一个有序对,它的第一个成员是论域或全集 (对应于可能带有定义在其上的关系和函数的集合,并通常写为相应于结构名字的罗马体大写),它的第二个成员是一个释义 ,就是 的一个偏函数,它完全定义在 的非逻辑符号之上,使得 的常量符号对应于 上的元素,如果有的话; 的函数符号对应于 上的函数,如果有的话;而 的关系符号对应于 上的关系;如果有的话。
用法注释
在模型论中使用的术语模型,本质上是"结构"的同义词,但是意图用在不同的上下文中。典型的,术语"模型"在头脑中有一个特定理论的时候使用,并且只考虑为这个理论的模型,—就是说满足在这个理论中所有句子的结构。在另一方面,"结构"意图在缺乏对这种结构的行为的所知或规定的时候使用。
这是一篇與逻辑学相關的小作品。您可以通过编辑或修订扩充其内容。 |