موجبه

قضیه تقسیمات گوناگونی دارد که یکی از تقسیمات آن، تقسیم به موجبه و سالبه است؛ زیرا قضیه به حسب رابطه یا این‌گونه است که یک رابطه - اعم از اتحادى یا تلازمى یا تعاندى - اثبات مى‌شود و یا چنین رابطه‌ای نفى مى‌شود. اولى را «قضیه موجبه» و دومى را «قضیه سالبه» مى‌خوانند.