6.7.1 逻辑推演