第四讲 逻辑推理——基础代换