IL.H.07

برابر انگلیک (انگلیسی): IL.H.07
دیسه‌ای
𝜙 → (𝜙 ∨ 𝜓)
𝜙 → (𝜙 ∨ 𝜓)