个体域是由个体（即所要研究的对象）组成的非空集合
全体域也称论域，是某一性质对于变量在某一特定域的所有值均为真，这一特定域称为全体域
在谓词公式中
个体域中的元素个体因为存在，所以也为真
故，在谓词公式中，个体域也为全体域
但不知道为什么看起来怪怪的