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


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