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

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


تاربرگ‌های پیموده‌شده در این نشست: چندی‌گر ماشین خودکار