9.8 逻辑推演