कथन, संयोजक क्या है?

उदाहरण 1.6 (रोज़मर्रा के गणितीय वाक्यों का निषेध)

मान लीजिए $f \colon \R \to \R$। वाक्य “$f$ वर्धमान है” इस प्रकार पढ़ा जाता है

और प्रतिज्ञप्ति 1.5 तथा नियम $\lnot(P \implies Q) \iff P \land \lnot Q$ से इसका निषेध:

एक ही साक्षी युग्म पर्याप्त है। इसी प्रकार “$f$ परिबद्ध है” का अर्थ है $\exists M \in \R,\ \forall x \in \R,\ \abs{f(x)} \leq M$, जिसका निषेध

कोई भी परिबंध प्रस्तावित किया जाए, कोई-न-कोई बिंदु उससे आगे निकल जाता है। सार: सही निषेध में “नहीं” कभी किसी परिमाणित खंड पर नहीं लगता — वह एक नया धनात्मक कथन होता है, जिसमें भूमिकाएँ बदल जाती हैं: जो साक्षी पहले मिलते थे, अब उन्हें स्वयं प्रस्तुत करना पड़ता है।

उदाहरण 1.7 (परिमाणकों का क्रम)

भिन्न परिमाणकों का क्रम महत्त्व रखता है:

पहले कथन में $y$ का $x$ पर निर्भर होना संभव है; दूसरे में एक ही $y$ को सभी $x$ के लिए काम करना होगा। दूसरी ओर, दो समान परिमाणक सदैव आपस में स्थान बदल सकते हैं।

उदाहरण 1.13 (अद्वितीय अस्तित्व सिद्ध करना)

कथन $\exists!\,x,\ P(x)$ वस्तुतः दो कथन हैं, जिन्हें अलग-अलग सिद्ध किया जाता है: अस्तित्व (कोई $x_0$ प्रस्तुत या निर्मित कीजिए जिसके लिए $P(x_0)$) और अद्वितीयता ($P(x)$ तथा $P(x')$ मानकर $x = x'$ निकालिए)। नमूना: ऐसा अद्वितीय वास्तविक $x$ है जिसके लिए $x^3 + x = 2$। अस्तित्व: $x_0 = 1$ काम करता है, क्योंकि $1 + 1 = 2$। अद्वितीयता: यदि $x^3 + x = x'^3 + x'$, तो

और दूसरा गुणनखंड धनात्मक है (वह $\bigl(x + \tfrac{x'}2\bigr)^2 + \tfrac34 x'^2 + 1 \geq 1$ के बराबर है), अतः $x = x'$। श्रम-विभाजन पर ध्यान दीजिए: अस्तित्व के लिए एक सौभाग्यपूर्ण अनुमान काम आया, जबकि अद्वितीयता के लिए स्वेच्छ हलों पर वैध बीजगणित। कोई भी तर्क दूसरे का काम नहीं करता, और एक हल मिल जाने के बाद दूसरे आधे को भूल जाना सदा बना रहने वाला प्रलोभन है।