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


تاربرگ‌های پیموده‌شده در این نشست: هنگرد پاررایه ⟩ ترادیسنده‌ی پیش‌آموخته زاینده ⟩ دستورهای ساختاری ⟩ دستور هروینیدن ⟩ توپوشناسی ⟩ درتاهش سخت‌گیر