Quantifier

∀x P(x)    domain-এর প্রতিটা x-এর জন্য P(x) সত্য     →  all(...)
∃x P(x)    এমন অন্তত একটা x আছে যার জন্য P(x) সত্য   →  any(...)

প্রমাণভার অসম — আর এটাই testing আর proof-এর পার্থক্যের মূল:

	সত্য প্রমাণ করা	মিথ্যা প্রমাণ করা
∀	কঠিন — সব ক্ষেত্র	সহজ — একটা counterexample
∃	সহজ — একটা উদাহরণ	কঠিন — সব বাতিল

একটা failing test হলো ∀-এর counterexample — bug-এর অস্তিত্ব প্রমাণ করে। হাজারটা passing test ∀ প্রমাণ করে না।

Negation — [[de-morgans-law]]-এর সাধারণীকৃত রূপ:

¬∀x P(x) ≡ ∃x ¬P(x)
¬∃x P(x) ≡ ∀x ¬P(x)

“সব ছাত্র পাশ করেছে” মিথ্যা মানে “অন্তত একজন পাশ করেনি” — “সব ফেল করেছে” নয়।

Bounded quantifier-এর নিয়ম: ∀ চায় →, ∃ চায় ∧।

∀i (0 ≤ i < n → A[i] > 0)      ঠিক
∀i (0 ≤ i < n ∧ A[i] > 0)      ভুল — সবসময় মিথ্যা

ক্রম গুরুত্বপূর্ণ: ∀x ∃y মানে y একটা function of x; ∃y ∀x মানে একটাই y সবার জন্য। সম্পূর্ণ আলাদা দাবি।