PL.FL.01 همچنین شناخته شده با: اندرهازش یک انگاشته معرفی یک فرض برابر انگلیک (انگلیسی): Introduction of an assumption PL.FL.1 دیسهای 𝐴⊃(𝐵⊃𝐴)A⊃(B⊃A)