في الرياضيات والمنطق، القضية هي نوع من الصيغ الرياضية تحتمل الصحة والخطأ. تتركّب القضية عادة من رموز منطقية ذرية وروابط منطقية.