به قضیه‌ای که در آن برای ثبوت یا نفی چیزی برای چیزی حکم می‌شود، ............می‌گویند.
1 قضیه حملی
2 قضیه شرطی
3 استدلال قیاسی
4 استدلال اسقرایی