Mantiq Bajardi: Musajonov Boqijonn bet-90 reja

06

Yuqori tartibli mantiqlar klassik mantiqni modal operatorlardan foydalangan holda emas, balki miqdoriy aniqlashning yangi shakllarini joriy etish orqali kengaytiradi. Miqdor ko'rsatkichlari "barchasi" yoki "ba'zi" kabi atamalarga mos keladi. Klassik birinchi tartibli mantiqda kvantlar faqat shaxslarga nisbatan qo'llaniladi. "{\displaystyle \exists x(Apple(x)\land Sweet(x))}{\displaystyle \exists x(Apple(x)\land Sweet(x))}" formulasi (ba'zi olmalar shirin) "{\displaystyle x}x" individual o'zgaruvchisiga qo'llaniladigan "{\displaystyle
\exists }\exists" ekzistensial kvantifikatoriga misol. Yuqori tartibli mantiqlarda predikatlar ustidan miqdoriy belgilashga ham ruxsat beriladi.
Kengaytirilgan tizim, Modal mantiq