قضایا

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