The disjunctive proposition has two aspects of independence of two important cornerstones for logic inference.

因此,以尽举选言命题作前提能构成从已知获取新知的推理.

互联网

As a basis of intelligence, the implementation of auto logic - inference is very important.

作为智慧的基石, 自动逻辑推理的实现具有莫大的意义.

互联网