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

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

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

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