问题6：你能用学过的逻辑知识说明分情 形证明法的正确性吗？ ·证明p→q,如果恰有p三p1Vp2V…Vpm则有： ·(p→q)≡(p1→q)∧(p2→q)A…A(Pn→q) ·事实上： (p1→q)(p2→q)A…A(pm→q) (p1 Vq)(p2 vq)A...(pn v q) =（p1Λp2A…npn)Vq (pi V p2 V...VPn)vq 三一pVq 三卫→q ·因此： ·p三p1Vp2V…Vpn成为关键所在，成为这种证明方法的“令人担心”的地方问题6：你能用学过的逻辑知识说明分情 形证明法的正确性吗？ • 证明𝑝 → 𝑞，如果恰有𝑝 ≡ 𝑝1 ∨ 𝑝2 ∨ ⋯∨ 𝑝𝑛,则有： • 𝑝 → 𝑞 ≡ 𝑝1 → 𝑞 ∧ 𝑝2 → 𝑞 ∧ ⋯ ∧ 𝑝𝑛 → 𝑞 • 事实上： 𝑝1 → 𝑞 ∧ 𝑝2 → 𝑞 ∧ ⋯ ∧ 𝑝𝑛 → 𝑞 ≡ ¬𝑝1 ∨ 𝑞 ∧ ¬𝑝2 ∨ 𝑞 ∧ ⋯ ∧ ¬𝑝𝑛 ∨ 𝑞 ≡ ¬𝑝1 ∧ ¬𝑝2 ∧ ⋯ ∧ ¬𝑝𝑛 ∨ 𝑞 ≡ ¬ 𝑝1 ∨ 𝑝2 ∨ ⋯ ∨ 𝑝𝑛 ∨ 𝑞 ≡ ¬𝑝 ∨ 𝑞 ≡ 𝑝 → 𝑞 • 因此： • 𝑝 ≡ 𝑝1 ∨ 𝑝2 ∨ ⋯ ∨ 𝑝𝑛成为关键所在，成为这种证明方法的“令人担心”的地方