Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
论域
Wikipedia 维基中文 免费百科全书
Download this dictionary
论域
论域
,有时叫
论述
全集
,是在
演绎逻辑
特别是
谓词逻辑
中使用的分析工具。它指示量词所处理的有关实体的集合。
术语"论域"一般指称在特定论述中使用全部术语的完整集合,就是说,特定于感兴趣的领域的
语言学
或
语义学
术语家族。在模型论语义中,术语"论域"指称模型所基于的实体的集合。
数据库
是一个组织的事实的某些方面的模型。通常称呼这种事实为"论述全集"或"论域"。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许