मान लीजिए P(x) समुच्चय E के किसी अवयव x का कोई गुणधर्म है।
- ∀x∈E, P(x) (“E के सभी x के लिए P(x)”) तब सत्य है जब E का प्रत्येक अवयव P को संतुष्ट करता हो;
- ∃x∈E, P(x) (“E में ऐसा x है कि P(x)”) तब सत्य है जब E का कम से कम एक अवयव P को संतुष्ट करता हो।
“अद्वितीय रूप से एक ऐसा अवयव है” के लिए ∃! लिखा जाता है।
उदाहरण
उदाहरण 1.6 (रोज़मर्रा के गणितीय वाक्यों का निषेध)
मान लीजिए f:R→R। वाक्य “f वर्धमान है” इस प्रकार पढ़ा जाता है
∀x∈R, ∀y∈R,x≤y⟹f(x)≤f(y),
और प्रतिज्ञप्ति 1.5 तथा नियम ¬(P⟹Q)⟺P∧¬Q से इसका निषेध:
∃x∈R, ∃y∈R,x≤y और f(x)>f(y):
एक ही साक्षी युग्म पर्याप्त है। इसी प्रकार “f परिबद्ध है” का अर्थ है ∃M∈R, ∀x∈R, ∣f(x)∣≤M, जिसका निषेध
∀M∈R, ∃x∈R,∣f(x)∣>M:
कोई भी परिबंध प्रस्तावित किया जाए, कोई-न-कोई बिंदु उससे आगे निकल जाता है। सार: सही निषेध में “नहीं” कभी किसी परिमाणित खंड पर नहीं लगता — वह एक नया धनात्मक कथन होता है, जिसमें भूमिकाएँ बदल जाती हैं: जो साक्षी पहले मिलते थे, अब उन्हें स्वयं प्रस्तुत करना पड़ता है।
उदाहरण 1.7 (परिमाणकों का क्रम)
भिन्न परिमाणकों का क्रम महत्त्व रखता है:
∀x∈R, ∃y∈R, y>xसत्य है (लीजिए y=x+1),
∃y∈R, ∀x∈R, y>xअसत्य है (कोई वास्तविक संख्या सभी वास्तविक संख्याओं से बड़ी नहीं होती)।
पहले कथन में y का x पर निर्भर होना संभव है; दूसरे में एक ही y को सभी x के लिए काम करना होगा। दूसरी ओर, दो समान परिमाणक सदैव आपस में स्थान बदल सकते हैं।
उदाहरण 1.8 (तीन परिमाणकों वाली परिभाषा पढ़ना)
वाक्य “अनुक्रम (un) का अभिसरण ℓ की ओर होता है” अध्याय 11 में इस प्रकार लिखा जाएगा
∀ε>0, ∃N∈N, ∀n≥N,∣un−ℓ∣≤ε.
प्रतिज्ञप्ति 1.5 को तीन बार लगाने पर इसका निषेध है
∃ε>0, ∀N∈N, ∃n≥N,∣un−ℓ∣>ε.
ऐसे वाक्यों का, उनके अर्थ पर सोचे बिना, यंत्रवत् निषेध कर पाना एक वास्तविक कौशल है: यह तार्किक काम को गणितीय काम से अलग कर देता है।