4 纯粹逻辑