مقدمه

واژه سور عربی و به معنی بارو است. در منطق ، سور به لفظها و یا نمادهایی گفته می‌شود که کمیت گزاره ، یعنی کلی یا جزئی آن را بیان کند. گزاره‌ای که زمینه آن با لفظ با نماد سور همراه باشد گزاره سوری نامیده می‌شود. سورها به ویژه با متغیرهای گزاره نماها بیان می‌شوند و در این صورت ، چنانکه خواهیم دید، گزاره نما را به گزاره تبدیل می‌کنند در گزاره سوری چند متغیری ممکن است که همه متغیرها با یک نوع سور یا اینکه هر کدام با نوعی سور بیان شده باشند.