逻辑课
Logic · Reason · Intelligence
¬A ∧ B ⇒ (A → B) ∴ Truth emerges from logic
A → B
A
结论 ?
推理