یکنواختی دمداشت
برابر انگلیک (انگلیسی): Monotonicity of entailment


تاربرگ‌های پیموده‌شده در این نشست: قانون میانی برون‌داشته ⟩ آستان کامنده ⟩ برنده‌ی راستی ⟩ همزادی قانون‌های دمورگان ⟩ افشین پوریا