IL.H.04

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