809 逻辑推演(第3页)