IL.H.10

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