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

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


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