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