Salbiy - Negation

Ushbu maqola umumiy ro'yxatini o'z ichiga oladi ma'lumotnomalar, lekin bu asosan tasdiqlanmagan bo'lib qolmoqda, chunki unga mos keladigan etishmayapti satrda keltirilgan. Iltimos yordam bering yaxshilash tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2013 yil mart) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Salbiy

YO'Q
Ta'rif	${ displaystyle { overline {x}}}$
Haqiqat jadvali	${ displaystyle (10)}$
Mantiqiy eshik
Oddiy shakllar
Ajratuvchi	${ displaystyle { overline {x}}}$
Birlashtiruvchi	${ displaystyle { overline {x}}}$
Zhegalkin polinomi	${ displaystyle 1 oplus x}$
Pochta panjaralari
0-saqlash	yo'q
1-saqlash	yo'q
Monoton	yo'q
Affine	ha

Yilda mantiq, inkor, shuningdek mantiqiy to‘ldiruvchi, bu operatsiya bu oladi taklif ${ displaystyle P}$ boshqa taklifga "emas ${ displaystyle P}$", yozilgan ${ displaystyle neg P}$, ${ displaystyle { mathord { sim}} P}$ yoki ${ displaystyle { overline {P}}}$.^[1] Bu intuitiv ravishda qachon haqiqat deb talqin etiladi ${ displaystyle P}$ yolg'on va qachon yolg'on ${ displaystyle P}$ haqiqat.^[2][3] Shunday qilib, inkor birlamchi (bitta argumentli) mantiqiy biriktiruvchi. Bu operatsiya sifatida qo'llanilishi mumkin tushunchalar, takliflar, haqiqat qadriyatlari, yoki semantik qadriyatlar umuman olganda. Yilda klassik mantiq, inkor odatda bilan belgilanadi haqiqat funktsiyasi bu oladi haqiqat ga yolg'on (va aksincha). Yilda intuitivistik mantiq, ga ko'ra Brouwer-Heyting-Kolmogorov talqini, taklifni inkor etish ${ displaystyle P}$ isboti inkor qilingan taklifdir ${ displaystyle P}$.

Ta'rif

Inkorni aniqlash imkoniyati, uning mantiqiy holati, vazifasi va ma'nosi, uning qo'llanilish sohasi va salbiy hukmni talqin qilish to'g'risida hech qanday kelishuv mavjud emas (F.H. Xaynemann 1944).^[4]

Klassik inkor bu operatsiya birida mantiqiy qiymat, odatda a qiymati taklif, qiymatini ishlab chiqaradi to'g'ri uning operandasi yolg'on bo'lsa va qiymati yolg'on uning operandasi to'g'ri bo'lganda. Shunday qilib, agar bayonot ${ displaystyle P}$ to'g'ri, keyin ${ displaystyle neg P}$ ("P emas" deb talaffuz qilingan) keyin noto'g'ri bo'ladi; va aksincha, agar ${ displaystyle neg P}$ noto'g'ri bo'lsa, unda ${ displaystyle P}$ to'g'ri bo'lar edi.

The haqiqat jadvali ning ${ displaystyle neg P}$ quyidagicha:

${ displaystyle P}$	${ displaystyle neg P}$
To'g'ri	Yolg'on
Yolg'on	To'g'ri

Salbiylikni boshqa mantiqiy operatsiyalar bo'yicha aniqlash mumkin. Masalan, ${ displaystyle neg P}$ sifatida belgilanishi mumkin ${ displaystyle P rightarrow bot}$ (qayerda ${ displaystyle rightarrow}$ bu mantiqiy natija va ${ displaystyle bot}$ bu mutlaq yolg'on ). Aksincha, buni aniqlash mumkin ${ displaystyle bot}$ kabi ${ displaystyle Q land neg Q}$ har qanday taklif uchun ${ displaystyle Q}$ (qayerda ${ displaystyle land}$ bu mantiqiy birikma ). Bu erda fikr har qanday ziddiyat yolg'ondir va bu g'oyalar mumtoz va intuitiv mantiqda ishlayotgan bo'lsa-da, ular ishlamaydi parakonsistent mantiq, bu erda qarama-qarshiliklar yolg'on emas. Klassik mantiqda biz yana o'ziga xoslikni olamiz, ${ displaystyle P rightarrow Q}$ sifatida belgilanishi mumkin ${ displaystyle neg P lor Q}$, qayerda ${ displaystyle lor}$ bu mantiqiy disjunktsiya.

Algebraik ravishda klassik inkor mos keladi to'ldirish a Mantiqiy algebra va a da psevdokomplementatsiyaga intuitivistik inkor Heyting algebra. Ushbu algebralar a semantik navbati bilan klassik va intuitivistik mantiq uchun.

Notation

Taklifni inkor etish ${ displaystyle p}$ turli xil yo'llar bilan, muhokama qilishning turli xil sharoitlarida va qo'llanilish sohalarida qayd etilgan. Quyidagi jadval ushbu variantlarning ayrimlarini hujjatlashtiradi:

Notation	Oddiy matn	Vokalizatsiya
${ displaystyle neg p}$	¬p	Yo'q p
${ displaystyle { mathord { sim}} p}$	~ p	Yo'q p
${ displaystyle -p}$	-p	Yo'q p
Np		En p
${ displaystyle p '}$	p '	p asosiy, p to'ldiruvchi
${ displaystyle { overline {p}}}$	.P	p bar, Bar p
${ displaystyle! p}$	! p	Portlash p Yo'q p

N belgisip bu Asukasiewicz yozuvi.

Yilda to'plam nazariyasi, ${ displaystyle setminus}$ shuningdek, "to'plamda emas" ni ko'rsatish uchun ishlatiladi: ${ displaystyle U setminus A}$ barcha a'zolarining to'plamidir ${ displaystyle U}$ a'zo emas ${ displaystyle A}$.

Qanday qilib belgilanmasin yoki ramziy ma'noda, inkor ${ displaystyle neg P}$ o'qilishi mumkin "bunday emas ${ displaystyle P}$"," u emas ${ displaystyle P}$", yoki odatda" yo'q "deb sodda ${ displaystyle P}$".

Xususiyatlari

Ikkala inkor

Tizimida klassik mantiq, ikki tomonlama inkor, ya'ni taklifni inkor qilishni inkor etish ${ displaystyle P}$, bo'ladi mantiqiy ekvivalent ga ${ displaystyle P}$. Ramziy ma'noda ifodalangan, ${ displaystyle neg neg P equiv P}$. Yilda intuitivistik mantiq, taklif uning ikki marta inkor qilinishini anglatadi, aksincha emas. Bu klassik va intuitivistik inkor o'rtasidagi muhim farqni belgilaydi. Algebraik ravishda klassik inkor an deyiladi involyutsiya Ikkinchi davr.

Biroq, ichida intuitivistik mantiq, ekvivalentlik ${ displaystyle neg neg neg P equiv neg P}$ ushlamaydi. Bundan tashqari, propozitsiya holatida, agar uning ikki baravar inkor qilinishi intuitiv ravishda isbotlansa, jumla klassik ravishda isbotlanadi. Ushbu natija sifatida tanilgan Glivenko teoremasi.

Tarqatish

De Morgan qonunlari yo'lini taqdim etish tarqatish inkor tugadi ajratish va birikma:

${ displaystyle neg (P lor Q) equiv ( neg P land neg Q)}$va

${ displaystyle neg (P land Q) equiv ( neg P lor neg Q)}$.

Lineerlik

Ruxsat bering ${ displaystyle oplus}$ mantiqiylikni belgilang xor operatsiya. Yilda Mantiqiy algebra, chiziqli funktsiya quyidagilardan biridir:

Agar mavjud bo'lsa ${ displaystyle a_ {0}, a_ {1}, nuqta, a_ {n} in {0,1 }}$,${ displaystyle f (b_ {1}, b_ {2}, dots, b_ {n}) = a_ {0} oplus (a_ {1} land b_ {1}) oplus dots oplus (a_ {n} land b_ {n})}$,Barcha uchun ${ displaystyle b_ {1}, b_ {2}, nuqtalar, b_ {n} in {0,1 }}$.

Buni ifoda etishning yana bir usuli shundaki, har bir o'zgaruvchi har doim haqiqat qiymati operatsiyani yoki hech qachon farq qilmaydi. Negation - bu chiziqli mantiqiy operator.

O'zini dual

Yilda Mantiqiy algebra, o'z-o'ziga qo'shaloq funktsiya quyidagicha funktsiyadir:

${ displaystyle f (a_ {1}, dots, a_ {n}) = neg f ( neg a_ {1}, dots, neg a_ {n})}$ Barcha uchun${ displaystyle a_ {1}, nuqta, a_ {n} in {0,1 }}$.Negation - bu ikki tomonlama mantiqiy operator.

Kantifikatorlarning inkorlari

Yilda birinchi darajali mantiq, ikkita miqdoriy ko'rsatkich mavjud, biri universal miqdor ${ displaystyle forall}$ ("hamma uchun" degan ma'noni anglatadi), ikkinchisi esa ekzistensial miqdor ${ displaystyle mavjud}$ ("mavjud" degan ma'noni anglatadi).^[1] Bitta miqdorni inkor qilish boshqa miqdoriy (${ displaystyle neg forall xP (x) equiv mavjud x neg P (x)}$ va ${ displaystyle neg mavjud xP (x) equiv forall x neg P (x)}$). Masalan, predikat bilan P kabi "x o'limga olib keladi "va barcha odamlarning to'plami sifatida x sohasi, ${ displaystyle forall xP (x)}$ "barcha odamlarda x odam o'ladigan" yoki "barcha odamlar o'ladigan" degan ma'noni anglatadi. Buni inkor qilish ${ displaystyle neg forall xP (x) equiv mavjud x neg P (x)}$, "odam bor" degan ma'noni anglatadi x hamma odamlarda o'lmaydigan "yoki" abadiy yashaydigan kishi bor ".

Xulosa chiqarish qoidalari

Inkor qilish qoidalarini shakllantirishning bir qator ekvivalent usullari mavjud. A-da klassik inkorni shakllantirishning odatiy usullaridan biri tabiiy chegirma sozlama ibtidoiy xulosalar qoidalarini qabul qilishdir inkor kirish (ning hosilasidan ${ displaystyle P}$ ikkalasiga ham ${ displaystyle Q}$ va ${ displaystyle neg Q}$, xulosa qilish ${ displaystyle neg P}$; bu qoida ham chaqirilmoqda reductio ad absurdum ), inkorni yo'q qilish (dan.) ${ displaystyle P}$ va ${ displaystyle neg P}$ xulosa qilish ${ displaystyle Q}$; bu qoida ham chaqirilmoqda ex falso quodlibet) va ikki marta inkorni yo'q qilish (dan.) ${ displaystyle neg neg P}$ xulosa qilish ${ displaystyle P}$). Inson intuitsistik inkor qilish qoidalarini xuddi shu tarzda oladi, lekin ikkilangan inkorni istisno qiladi.

Salbiy kirish so'zlariga ko'ra, agar absurdlik xulosa qilish mumkin bo'lsa ${ displaystyle P}$ keyin ${ displaystyle P}$ bunday bo'lmasligi kerak (ya'ni ${ displaystyle P}$ yolg'on (klassik) yoki inkor etiladigan (intuitivistik) yoki boshqalar). Negativlikni bartaraf etish shuni ko'rsatadiki, har qanday narsa bema'nilikdan kelib chiqadi. Ba'zida inkorni yo'q qilish ibtidoiy absurdlik belgisi yordamida shakllantiriladi ${ displaystyle bot}$. Bunday holda, qoidada dan ${ displaystyle P}$ va ${ displaystyle neg P}$ bema'ni narsaga ergashadi. Ikkala inkorni yo'q qilish bilan birga, dastlab tuzilgan qoidamiz, ya'ni har qanday narsa bema'nilikdan kelib chiqishi mumkin.

Odatda intuitivistik inkor ${ displaystyle neg P}$ ning ${ displaystyle P}$ sifatida belgilanadi ${ displaystyle P rightarrow bot}$. Keyin inkorni kiritish va yo'q qilish faqat implikatsiya kiritilishining maxsus holatlari (shartli dalil ) va yo'q qilish (modus ponens ). Bunday holda ibtidoiy qoida sifatida qo'shish kerak ex falso quodlibet.

Dasturlash tili va oddiy til

Matematikada bo'lgani kabi inkor ham ishlatiladi Kompyuter fanlari mantiqiy bayonotlarni qurish.

agar (!(r == t)){    /*... r r t ga teng bo'lmaganida bajarilgan ... * /}

The undov belgisi "!"mantiqiy EMAS degan ma'noni anglatadi B, C va kabi C ilhomlantiruvchi sintaksisga ega tillar C ++, Java, JavaScript, Perl va PHP. "YO'Q"- ishlatiladigan operator ALGOL 60, ASOSIY va shunga o'xshash ALGOL yoki BASIC ilhomlantirgan sintaksisga ega tillar Paskal, Ada, Eyfel va 7. Urug '. Ba'zi tillar (C ++, Perl va boshqalar) inkor qilish uchun bir nechta operatorlarni taqdim etadi. Bir nechta tillar PL / I va Ratfor foydalanish ¬ inkor uchun. Ba'zi zamonaviy kompyuterlar va operatsion tizimlar ko'rsatiladi ¬ kabi ! kodlangan fayllarda ASCII.^{[tushuntirish kerak ]} Ko'pgina zamonaviy tillar yuqoridagi so'zlarni qisqartirishga imkon beradi agar (! (r == t)) ga agar (r! = t), bu ba'zan kompilyator / tarjimon uni optimallashtirishga qodir bo'lmaganda tezroq dasturlarga imkon beradi.

Kompyuter fanida ham mavjud bitik inkor. Bu berilgan qiymatni oladi va barchasini o'zgartiradi ikkilik 1 dan 0 gacha va 0 dan 1 gacha. Qarang bitli operatsiya. Bu ko'pincha yaratish uchun ishlatiladi bir-birini to'ldiruvchi yoki "~"C yoki C ++ da va ikkitasini to'ldiruvchi (shunchaki soddalashtirilgan "-"yoki manfiy belgi, chunki bu raqamning arifmetik manfiy qiymatini olishga tengdir), chunki u asosan qarama-qarshi (manfiy qiymat ekvivalenti) yoki qiymatning matematik komplementini hosil qiladi (har ikkala qiymat ham qo'shilib, ular butunlikni hosil qiladi).

Berilgan butun sonning absolyut (ijobiy ekvivalent) qiymatini olish uchun quyidagilar "-"uni salbiydan ijobiyga o'zgartiradi (bu salbiy, chunki"x <0"to'g'ri hosil beradi)

imzosiz int abs(int x){    agar (x < 0)        qaytish -x;    boshqa        qaytish x;}

Mantiqiy inkorni ko'rsatish uchun:

imzosiz int abs(int x){    agar (!(x < 0))        qaytish x;    boshqa        qaytish -x;}

Vaziyatni teskari tomonga qaytarish va natijalarni bekor qilish mantiqiy ravishda asl kodga teng keladigan kodni hosil qiladi, ya'ni har qanday kirish uchun bir xil natijalarga ega bo'ladi (foydalanilgan kompilyatorga qarab, kompyuter tomonidan bajarilgan haqiqiy ko'rsatmalar farq qilishi mumkin).

Ushbu anjuman vaqti-vaqti bilan kompyuter bilan bog'liq bo'lgan oddiy yozma nutqda yuzaga keladi jargon uchun emas. Masalan, ibora ovoz berish "ovoz bermaslik" degan ma'noni anglatadi. Yana bir misol - bu ibora ! maslahat bu "no-clue" yoki "clueless" uchun sinonim sifatida ishlatiladi.^[5][6]

Kripke semantikasi

Yilda Kripke semantikasi bu erda formulalarning semantik qiymatlari to'plamlar mumkin bo'lgan dunyolar, inkor degani ma'noda qabul qilish mumkin nazariy komplementatsiya^{[iqtibos kerak ]} (Shuningdek qarang mumkin bo'lgan dunyo semantikasi ko'proq).

Shuningdek qarang

Adabiyotlar

Qo'shimcha o'qish

• Gabbay, Dov va Wansing, Geynrix, nashr, 1999 y. Negatsiya nima?, Kluver.
• Shox, L., 2001. Negativning tabiiy tarixi, Chikago universiteti matbuoti.
• G. H. fon Rayt, 1953–59, "Salbiy mantiq to'g'risida", Sharhlar Physico-Mathematicae 22.
• Wansing, Geynrix, 2001, "Negatsiya", Goblda, Lou, ed., Falsafiy mantiq bo'yicha Blekvell qo'llanmasi, Blekvell.
• Tettamanti, Marko; Manenti, Roza; Della Roza, Pasquale A.; Falini, Andrea; Perani, Daniela; Kappa, Stefano F.; Moro, Andrea (2008). "Miyadagi negativlik: harakatni namoyish qilishni modulyatsiya qilish". NeuroImage. 43 (2): 358–367. doi:10.1016 / j.neuroimage.2008.08.004. PMID  18771737. S2CID  17658822.

Tashqi havolalar

• Xorn, Lorens R.; Xayrixohlik, Geynrix. "Salbiy". Yilda Zalta, Edvard N. (tahrir). Stenford falsafa entsiklopediyasi.
• "Salbiy", Matematika entsiklopediyasi, EMS Press, 2001 [1994]
• YO'Q, kuni MathWorld

Haqiqat jadvallari qo'shma gaplarning

• "Tugatilgan jumlaga nisbatan qo'llaniladigan YO'Q bandi uchun haqiqat jadvali". Arxivlandi asl nusxasidan 2000 yil 1 martda.
• "Tugatilgan jumlaning bandi emas". Arxivlandi asl nusxasidan 2000 yil 1 martda.
• "YoKI YO'Q jumlasining bandi emas". Arxivlandi asl nusxasidan 2000 yil 17 yanvarda.
• "IF ... THEN davrining bandi emas".. Arxivlandi asl nusxasidan 2000 yil 1 martda.