刚开始学习自然演绎推理,但是怎么都推不出来这个推理,请问各位。
1、假设 A ∧ (B ∨ C) 为真,即前提为真。
2、根据合取分配律,A ∧ (B ∨ C) 可以转化为 (A ∧ B) ∨ (A ∧ C)。
3、因为前提为真,所以 A 为真。
4、根据析取结合律,(A ∧ B) ∨ (A ∧ C) 可以转化为 A ∧ (B ∨ C)。
5、根据假设,A ∧ (B ∨ C) 为真,因此 (A ∧ B) ∨ (A ∧ C) 也为真。
6、因此,A ∧ (B ∨ C) 推出 (A ∧ B) ∨ (A ∧ C)。