论域是一个数学系统,记作M,它由三部分组成,第一部分是一个非空元素集合M,M包括M的基本元素。
第二部分是一个M上的非空的函数集合,其中的每个函数以一个M或者多个M的笛卡尔积为定义域并以M为值域。
第三部分是一个关于M'的非空命题集合,每一个命题表示M‘的元素之间、函数之间以及元素与函数之间的逻辑关系。自然数系统N、有理数系统Q和实数系统R都是论域的典型例子。
论域范围
论域是一个数学系统,记作M,它由三部分组成,第一部分是一个非空元素集合M,M包括M的基本元素。
第二部分是一个M上的非空的函数集合,其中的每个函数以一个M或者多个M的笛卡尔积为定义域并以M为值域。
第三部分是一个关于M'的非空命题集合,每一个命题表示M‘的元素之间、函数之间以及元素与函数之间的逻辑关系。自然数系统N、有理数系统Q和实数系统R都是论域的典型例子。
意思是任何科学理论都有它的研究对象,这些对象构成一个不空的集合,称为论域。是一个数学系统,分为原始域和非原始域(构造域)。
原始域:有限集或可枚举集都是原始域。如{true,false},{...,-1,1,1,...}。
非原始域:可以从已知论域,应用论域构造符进行构造。
可以证明,如果每个成分是完全半续集,则保证构造符作用后得到的仍然是完全半续集。