درستی به انتفای مقدم

درستی به انتفای مقدم  (مثلاً می‌گویند که فلان گزاره به انتفای مقدم برقرار است) اصطلاحی است که برای اشاره به آن دسته از گزاره‌های منطقی استفاده می‌شود که در مورد یک مجموعهٔ تهی بیان شده‌اند. می‌توان نشان داد که هر گزاره‌ای که دربارهٔ یک مجموعهٔ تهی بیان شده باشد، از دید منطقی درست است.

انتفای مقدم، معمولاً به این صورت است که یک ویژگی مانند  را به تمام اعضای مجموعهٔ  که مجموعه‌ای تهی است، نسبت می‌دهد. گزاره همواره درست است؛ زیرا نقیض این گزاره این است که حداقل یک عضو از  باشد که ویژگی  را نداشته باشد و از آنجایی که  تهی است، پس نقیض گزاره نمی‌تواند درست باشد، پس خود گزاره درست است.

با وجود اینکه انتفای مقدم به خودی خود ارزش خاصی ندارد، ولی حالت پایهٔ بسیاری از استقراهای ریاضی می‌باشد.

جستارهای وابسته 
 شرطی منطقی
 منطق کلاسیک
 توتولوژی
 پارادوکس استلزام مادی

منابع 

 
 
 

راستگویی
مغالطه‌های ناساختاری
منطق
منطق ریاضی
هیچ