甲学了形式逻辑和法理学，所以甲学了形式逻辑。

甲学了形式逻辑和法理学，所以甲学了形式逻辑。
A、否定引入推理
B、否定消去推理
C、合取引入推理
D、合取消去推理
正确答案：合取消去推理