自动推导

由于 推导、无效认定、逻辑表达式 这三种命题自身带有逻辑上的语义，可以进行一些自动的推导。

自动推导包含三个方面：

• 计算出用户对尚未 表态 的命题的态度。
• 找到用户对命题的态度之间的矛盾。
• 找到逻辑上等价或对立的命题，避免创建重复的命题。需要注意的是，这里只是找到语义上等价的命题，与用户的态度无关。即使“A 和 B 等价”这个推导被所有用户认同，自动推导中也不认为 A 和 B 是等价的。

由于算法和算力的限制，无法将所有能推导的结果都计算出来。具体实现时，只需保证计算出的结果在逻辑上正确即可，无需保证计算结果是完整的。

由于 principle of explosion，在存在矛盾时每次计算允许得到不同的结果。

在实现和用户界面中，都需要区分主动表态和自动推导。