IL.H.08

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