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

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


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