论域

✍ dations ◷ 2025-08-27 19:20:34 #论域

论域（英语：Domain of discourse），在形式科学里是指在某些系统化的论述里的一些令人感兴趣的变数之上，由其中的实体所组成的集合。论域通常被视为预备知识，所以不需要每一次都指出相关变数的范围来。

例如，在一阶逻辑的解释中，论域是指由量词能指涉到的个体所组成的集合。在一个解释里，论域可以是实数的集合；在另一个解释里，则可能是自然数的集合。若没有指定任何论域，则如∀ (2 ≠ 2) 之类命题的真伪是不确定的。若论域是实数的集合，此命题即是假的，因为有 = √2 做为反例；若论域为自然数的集合，此命题是真的，因为2 不可能是任何自然数的平方。

论述全集一词通常是指在特定论述中被讨论的一群物件。在模型论的语义里，论述全集是指由模型所依据的实体所组成的集合。

数据库是指由一个系统在某一角度上的真实所建成的模型。通常称此类事实为"论述全集"或"论域"。

相关

X射线荧光光谱仪X射线荧光光谱仪（X-ray Fluorescence Spectrometer，简称：XRF光谱仪），是一种快速的、非破坏式的物质测量方法。X射线荧光（X-ray fluorescence，XRF）是用高能量X射线或伽玛射线轰击材料
数位电视数字电视（英语：Digital television）是指采编、播出、传输、接收等环节中全面采用数字信号的电视系统，与模拟电视相对。数字电视系统可以发送多种业务，如高清电视、标清电视、智能
Ni(Csub2/subHsub5/subCOO)sub2/sub丙酸镍是镍(II)的丙酸盐，化学式为(CH3CH2COO)2Ni。丙酸镍可由丙酸钡和硫酸镍反应得到：
铋化氢铋化氢又称䏟，是由铋和氢组成，化学式为BiH3的化合物。铋化氢是所有结构和氨同为XH3的化合物中，分子量最大的一个。铋化氢不稳定，即使在摄氏零度以下，仍然会分解为铋和氢气。铋化
奥斯卡·波尔克奥斯卡·波尔克（英语：Oscar Polk，1899年12月25日－1949年1月4日），美国电影男演员，最为人熟知的角色是1939年经典电影《乱世佳人》中塔拉庄园的仆人波克（Pork）。1949年1月14日在时代广
奥旺多坐标：00°29′S 15°54′E / 0.483°S 15.900°E / -0.483; 15.900奥旺多是位于刚果共和国中部的一座城市，位于库尤河岸，是盆地省省会、自治市。拥有一座市场和机场。旧称鲁塞
陈淑媛 (刘宋)陈淑媛，陈姓名不详（？－466年），南朝宋孝武帝刘骏的妃子，封淑媛（嫔的第二级）。生皇三子刘子勋。母子无宠。刘骏驾崩后，陈淑媛为晋安太妃，随儿子一同在封地生活。湘东王刘彧弑刘子业自立后，
哈勃极深空哈勃极深空（Hubble eXtreme Deep Field，XDF）是位于天炉座哈勃超深空影像中心的一个小区域，是目前可见光影像所见宇宙最远处。哈勃极深空影像于2012年9月25日公布。这幅影像的拍
迪布尔峰坐标：77°29′S 169°3′E / 77.483°S 169.050°E / -77.483; 169.050迪布尔峰（英语：Dibble Peak）是南极洲的山峰，位于罗斯岛，处于邮政局山西南面4.3公里，属于凯尔山的一部分，海拔
凤仙花科凤仙花科（学名：Balsaminaceae）是真双子叶植物杜鹃花目的一科，共有两属超过1000种，但除了水角（（L.）Wight et Arn.）一种属于水角属，其余种类都属于凤仙花属，因此凤仙花属可能是最大的属。凤仙花科分布在除澳洲和北美西海岸以外的世界各地温带和热带地区，有许多种是观赏花卉，如著名的凤仙花（又名指甲花）。