WikiDer > Mavjud instansiya

Yilda mantiq, ekzistentsial instantatsiya (shuningdek, deyiladi ekzistensial yo'q qilish)^[1][2][3] a xulosa chiqarish qoidasi bu formulaning formulasi berilganligini aytadi ${ displaystyle ( mavjud x) phi (x)}$, kimdir xulosa qilishi mumkin ${ displaystyle phi (c)}$ yangi doimiy belgi uchun v. Qoidada doimiy bo'lgan cheklovlar mavjud v qoida bilan kiritilgan, ilgari isbotlashda bo'lmagan yangi atama bo'lishi kerak, shuningdek dalilning xulosasida ham bo'lmasligi kerak.

Bitta rasmiy yozuvda qoida bilan belgilanishi mumkin

${ displaystyle mavjud xP chap ({x} o'ng) P chap ({a} o'ng)} degan ma'noni anglatadi$

qayerda a isbotida paydo bo'lmagan yangi doimiy belgidir.

Shuningdek qarang

• Mavjud xato
• Umumjahon instantiatsiya
• Xulosa chiqarish qoidalari ro'yxati

Adabiyotlar

Bu mantiqbilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. v t e