سورها، استدلال معتبر و دمورگان

«همه» و «بعضی» سور نام دارند. نقیض «همهٔ A‌ها B هستند» برابر «دست‌کم یک A هست که B نیست» است و یک مثال نقض برای نادرست نشان دادن گزارهٔ «همه» کافی است.

استدلال وقتی معتبر است که نتیجه‌اش هر وقت مقدمه‌ها درست‌اند حتماً درست باشد. از «اگر p آن‌گاه q» و p می‌توانی q را نتیجه بگیری و از «اگر p آن‌گاه q» و نه q می‌توانی نه p را نتیجه بگیری. از q به p یا از نه p به نه q نمی‌شود رسید.

قانون‌های دمورگان: متمم اجتماع برابر اشتراک متمم‌هاست، (A∪B)′ = A′∩B′ و (A∩B)′ = A′∪B′. «نه» «و» را به «یا» و «یا» را به «و» تبدیل می‌کند.