3.2.5 逻辑的严密性