WikiDer > Ko'rinmas narsalar

Yilda matematik mantiq, tushunarsiz narsalar hech kim bilan ajralib turmaydigan narsalardir mulk yoki munosabat bilan belgilanadi formula. Odatda faqat birinchi tartib formulalar ko'rib chiqiladi.

Misollar

Agar a, bva v bor aniq va {a, b, v} a o'rnatilgan tushunarsiz narsalar, keyin, masalan, har bir ikkilik formulalar uchun ${displaystyle eta}$, bizda bo'lishi kerak

${displaystyle [eta (a, b) land eta (b, a) land eta (a, c) land eta (c, a) land eta (b, c) land eta (c, b)] lor [lnot eta ( a, b) land lnot eta (b, a) land lnot eta (a, c) land lnot eta (c, a) land lnot eta (b, c) land lnot eta (c, b)].}$

Tarixiy jihatdan tushunarsiz narsalarning identifikatori biri edi fikr qonunlari ning Gotfrid Leybnits.

Umumlashtirish

Ba'zi kontekstlarda umumiy tushunchani ko'rib chiqish mumkin tartib-tushunarsizva muddat tushunarsizlarning ketma-ketligi ko'pincha bu zaifroq tushunchaga bevosita murojaat qiladi. Ikkilik formulalar misolida, uch barobar (a, b, v) aniq elementlar deganda tushunarsiz narsalarning ketma-ketligi nazarda tutiladi

${displaystyle ([varphi (a, b) land varphi (a, c) land varphi (b, c)) lor [lnot varphi (a, b) land lnot varphi (a, c) land lnot varphi (b, c) ]) er ([varphi (b, a) landphi (c, a) landphi (c, b)] lor [lnot varphi (b, a) land lnot varphi (c, a) land lnot varphi (c, b) )]).}$

Ilovalar

Nazariyasida buyurtma bilan ajralib turadigan narsalar muhim o'rin tutadi Ramsey kardinallari, Erdning kardinallariva Nolinchi o'tkir.

Shuningdek qarang

• Aniqlanmaydigan narsalar
• Qo'pol to'plam

Adabiyotlar

• Jech, Tomas (2003). Nazariyani o'rnating. Matematikadan Springer Monografiyalari (Uchinchi ming yillik tahriri). Berlin, Nyu-York: Springer-Verlag. ISBN 978-3-540-44085-7. Zbl 1007.03002.