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


تاربرگ‌های پیموده‌شده در این نشست: استواره لونهایم-اسکولم ⟩ باور راستگوی راستاورده