پیشوندیدن
برابر انگلیک (انگلیسی): Prefixing


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B∨¬B) ⟩ گوییک‌های زیرساختاری ⟩ گوییک‌های فروآموزگاهی