PL.FL.02

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