بی‌کنشی چندبارگی دمداشت

همچنین شناخته شده با: خنثی تکراری استلزام
برابر انگلیک (انگلیسی): Idempotency of entailment