IL.H.09

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