The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.
这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。
The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.
这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。
应用推荐