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


تاربرگ‌های پیموده‌شده در این نشست: جابجایی ⟩ استوارت شپیرو ⟩ سفر شدن سخت‌گیرانه ⟩ لگاریتم ⟩ چندی‌گر ⟩ درتاهش سخت‌گیر