درتاهش سخت‌گیر

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