درتاهش ماتکی

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