IL.H.09 برابر انگلیک (انگلیسی): IL.H.09 دیسهای [(𝜙 → 𝜃) ∧ (𝜓 → 𝜃)] → [(𝜙 ∨ 𝜓) → 𝜃][(𝜙 → 𝜃) ∧ (𝜓 → 𝜃)] → [(𝜙 ∨ 𝜓) → 𝜃]