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