()是一个从已确定断言产生出新断言的过程。