Sant peterburg

Mantiqiy dasturlash va bilimlarni ifodalash Mantiq
vaqtinchalik to'g'ri va noto'g'ri);
bular. qanday xulosalar bo'lishi mumkinligini aniqlaydigan qoidalar to'plami
- qarama-qarshilik: A A emas (hukm bitta emas
tajriba.
bilimlarni ifodalash uchun yuqori darajadagi til sifatida
birida qayd etilgan qarorlar to'plamidan olinishi mumkin
A emas (har bir taklif to'g'ri yoki noto'g'ri).
yangi hukm tuziladi.
dasturlash - bu sun'iy intellektdagi yondashuv, bilan
- o'rtani yo'q qilish: A ham A , ham emas
ish jarayonida shakllanishiga imkon beruvchi meta-bilimning asosi
to‘g‘ri fikr yuritish usullarini nazariy tadqiq qildi. Mantiqni tavsiflashda u "hukm" atamasini
ishlatgan
P"; " S yo'q P"; "Ba'zi S harflari P emas ." Bu yerda S - predmetlar sinfi, P - predikatlar sinfi,
"Hammasi" yoki "Yo'q" - umumiy miqdor ko'rsatkichlari, "Ba'zilari" - ekzistensial miqdor
ko'rsatkichlari.
va xulosa chiqarishda birinchi tartibli predikatlarning formal mantiqi qo‘llaniladi. Bundan
2000 yil muqaddam Aristotel ritorikada keng qoÿllanilgan anÿanaviy mantiqni rivojlantira
boshladi. U birinchi
Intellektual tizimlarni o'rganish sohasidagi kashshof rivojlanish 1985 yilda yaratilgan
EURISCO tizimi edi.
Hukmning quyidagi shakllari qo'llanilgan: " Barcha S
49
Machine Translated by Google

---

o'zgaruvchilar (argumentlar). Keyinchalik bu nazariya deb nomlandi
qat'iy aksiomatikaga ega rasmiy mantiqiy tizim. Aslida, mantiq sonli
bo'lmagan algebraning bir turi sifatida qarala boshladi, ya'ni. matematik
talqinini oldi. Uchun
predikativ mantiq. 1930-yillarda J. Xerbranning teoremalarni isbotlash
uchun talqin qilish usuli bilan toÿldirilgan predikatlar mantiqi isbotlash
uchun qulay boÿlib chiqdi.
sillogizmdagi hukmga qaraganda umumiyroq tushuncha edi.
J. Buul va De Morgan tomonidan ishlab chiqilgan mantiq birinchi bo'ldi
predmet va predikatdan tashqari, u argumentlarni kiritdi, ya'ni. matematik
funktsiyalar uchun bo'lgani kabi hukmlar uchun ham konventsiyalarni
qo'llagan. Bundan tashqari, X. Freget munosabatlar nazariyasiga qadam
tashlaydi, predikatlar va argumentlardan tashqari, miqdorni ham kiritadi.
,
avtomatlar nazariyasi va hisoblash texnikasini loyihalashda qo'llanilishi
propozitsiya hisobi bilan tarixan bog‘liq bo‘lgan predikat hisobi mavjud
edi.
mantiqiy xulosa. Predikatlar mantiqining nazariy asoslari
Algebraik amallar uchun kommutativlik, assotsiativlik va distributivlik
qoidalari, munosabatlar uchun esa tranzitivlik, simmetriya va refleksivlik
qoidalari kiritildi. Rasmiy mantiq topildi
Biroq, mantiqiy bilimlarni ifodalash va ular bilan ishlash
ÿ ("yo'q", "kerak"), qavslar (...). Atom
qurilmalar.
Takliflar hisobi atomik takliflar (A, B, C va boshqalar), taklif
o'zgaruvchilari (p, q, r,...), mantiqiy operatorlar alifbosiga ega ÿ
"to'g'ri" yoki "noto'g'ri" qiymatini belgilash mumkin. bayonot
til” - bu son analogiyalariga bog'liq bo'lmagan mantiqiy shakllar bo'yicha
ramziy hisob. Hukmni aniqlash uchun
til. Masalan, "Yer quyosh atrofida aylanadi" - norasmiy
bu mantiq yetarli emas edi. Zamonaviy rasmiy taklif mantiqining
(takliflar hisobi) boshlanishi G. Freje (1879) tomonidan qo'yilgan. U
"kontseptual" ni yaratdi
Aristotelning shogirdlari sillogizmni takliflar darajasiga kengaytirdilar,
bu esa har qanday taklifni anglatadi.
gaplar tabiiy iboralar bilan ifodalanishi mumkin
ellik
Machine Translated by Google

---

umumiy kvantlar haqida maxsus aksiomalar. Xulosa qilish qoidalari
umumlashtirish qoidasini o'z ichiga oladi:
joy PPF ning semantikasi bo'lib, uning haqiqat qiymatini belgilaydi. WFF
talqini haqiqat qiymatlarini belgilashdan iborat
,
operatorlar va aniq almashtirishlardir. Masalan, Aÿ(VÿS) quyidagi yuklama
shakllarining o‘ziga xos o‘rnini egallaydi: p - (p Aÿ(VÿS) degan ma’noni
anglatadi) ; pÿq – (p A ni, q ni bildiradi