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


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