IL.H.03

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