809 逻辑推演