درتاهش ماتکی
همچنین شناخته شده با: استلزام مادی
برابر انگلیک (انگلیسی): Material implication


تاربرگ‌های پیموده‌شده در این نشست: چندی‌گر ⟩ ماشین خودکار ⟩ درتاهش سخت‌گیر ⟩ Modal Theorem D.1 ⟩ نگره‌ی آوین ⟩ Modal Axiom Convergent