سور، در منطق فلسفی و منطق ریاضی، نشانه‌ای است که دایرهٔ مصداق‌ها را مشخص می‌کند. سورها شامل «هر» (∀)، «هیچ» و «برخی» (∃) هستند.

جستارهای وابسته[ویرایش]

  • سور عمومی
  • سور وجودی
  • سور صفر
  • گزاره
  • قضیه