قضية الموجبة في منطق الإثبات تعتبر واحدة من أنواع العبارات الإفادية المنطقية. العبارات الإفادية تستخدم للإفادة أو التأكيد على صحة عبارة ما، وتعبر عن علاقات معرفية بين العناصر الموجودة في العالم. قضية الموجبة تعبر عن العلاقة بين متين مثل العنصر الأول والعنصر الثاني، حيث تقول إذا كان العنصر الأول موجود فإن العنصر الثاني سيكون موجودا أيضا. مثال على قضية الموجبة: إذا كان الطريق رطباً فإنه ممكن أن يكون المطر قد سقط.
تحاول قضية الموجبة إثبات صحة العبارة من خلال العلاقات المنطقية بين العناصر، وتعتات الإثبات اللوجيستي.
