IL.K.02 برابر انگلیک (انگلیسی): IL.K.02 PL.FL.2 دیسهای (𝜙 → 𝜓) → ((𝜙 → (𝜓 → 𝜃)) → (𝜙 → 𝜃))(𝜙 → 𝜓) → ((𝜙 → (𝜓 → 𝜃)) → (𝜙 → 𝜃))