典型逻辑推理例题