سور

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

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

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