3.2 逻辑的严密性