PL.FL.01

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