منطق مرتبهٔ اول: سورها، دامنهٔ عمل و نقیض

در یک فرمول سوردار، ارزش درستی تنها با سه چیز تعیین می‌شود — «ترتیب» پیشوند سورها، «ادات ربطی» که هر سور را محافظت می‌کند ($\forall\dots\Rightarrow$ در برابر $\exists\dots\wedge$)، و اینکه کدام متغیرها آزادند — بنابراین پرسش‌های هم‌ارزی به‌صورت مکانیکی حل می‌شوند، نه با شهود.