یک سور (به انگلیسی: quantifier) در منطق، یک عملگر است که تعیین‌کننده آن است که «چند مورد» در دامنه سخن یک فرمول باز را برآورده می‌سازد. برای مثال سور عمومی...

فلسفه، زبان‌شناسی، و علوم رایانه کاربرد دارد. در منطق مرتبه اول بر خلاف منطق گزاره‌ای می‌توان از متغیرهای سور داده شده روی اشیاء غیرمنطقی استفاده کرد؛ برای...

گزاره (به انگلیسی: Proposition)؛ در دانش منطق، قضیه یا جمله‌ای است خبری که می‌تواند درست یا نادرست باشد، هر چند که درستی یا نادرستی آن بر ما پوشیده باشد...

در نمادگذاری برای منطق گزاره‌ای، نماد ∀ {\displaystyle \forall \;} که به صورت «به ازای هر» خوانده می‌شود، سور عمومی نام دارد. درنظر بگیرید که می‌خواهید...

در منطق گزاره‌ای، سمبل ∃ {\displaystyle \exists \;} سور وجودی نام گرفته و آن را بیان می‌کنیم: "وجود دارد"، " به ازای بعضی مقادیر ". _ گزاره نمای شامل متغیر...

منطق موجهات (به انگلیسی: Modal logic) که نوعی منطق صوری است که ابتدا در دهۀ ۶۰ میلادی گسترش یافت، منطق گزاره‌ها و منطق محمولات را به گونه‌ای گسترش می‌دهد...

استنتاج در منطق گزاره‌ها شامل وضع مقدم٬ نفی تالی و عکس نقیض می‌شود. منطق مرتبه اول به رابطه استنتاجی میان جملات دارای سور منطقی می‌پردازد--مثل سور کلی "همه"...

منطق توصیف (به انگلیسی: Description logic) با کوته‌نوشت DL (دی ال) خانواده‌ای از زبان‌های نمایش دانش است. بیشتر زبان‌های DL ها رساتر از منطق گزاره‌ای هستند...

ری، آرپ، میرو، دوشان، تانگی و…) به نقش‌پردازی دقیق صحنه‌های خیالی و بدون منطق، و جان‌بخشی اشیای روزمره و تبدیل آنها به موجودات عجیب پرداختند. تلاش آنها...

استفاده از واژه‌های مبهمی که قابلیت تفسیرهای گوناگون دارند. اهمال سور: ذکر نشدن سورِ قضیه و تلقی آن به‌عنوان قضیه‌ای کلی. مغالطه دوری: تعریف دو چیز یا...

آناهیتا، ناهید یا اَرِدْوی سورَ اَناهیتا (Aredvi Sura Anahita) یکی از ایزدبانوان ایرانی-آریایی است. آناهیتا در یشت پنجم اوستا معرفی و ستایش شده‌است. همچنین...