diskret matematika va matematik mantiq

PPTX 9 pages 1.2 MB Free download

Page preview (5 pages)

Scroll down 👇
1 / 9
diskret matematika va matematik mantiq diskret matematika va matematik mantiq mavzu: birinchi tartibli til xolov firdavs ixtiyoriy tabiatli simvollarning chekli to'plami - w berilgan bo'lsin. bu to'plamni birinchi tartibli tilning alifbosi deb ataymiz. w alifbodagi simvollarning chekli ketmaketligini birinchi tartibli tilning so'zlari deym iz. ikkita ar ..., an va b,,..., bn so'zlarning mos harflari teng, ya’ni a = b:..... an = bn bo'lsa, bu so'zlar teng deyiladi. faraz qilaylik , biror bir aksiomatik nazariya qaralayotgan bo‘lsin. w shu nazariyaning alifbosi, u esa shu nazariyadagi so'zlar to'plami bo‘lsin. u holda, (w, u) juftlik qaralayotgan nazariyaning tili deyiladi. birinchi tartibli til orqali birinchi tartibli nazariyalar ifodalanadi. birinchi tartiblinaza riyalar, umuman olganda, yuqorida aytganim izdek, predikatlar hisobini qamrab oladi. ya’ni, predikatlar hisobining sim vollari, aksiomalari, formulalari, keltirib chiqa- riluvchi formulalari birinchi tartibli nazariyaga kiradi. undan tashqari, birinchi tartibli nazariyada /"' (i, n e n ) - n: o'rinli funksiyaning simvollari qatnashishi mumkin. shu …
2 / 9
birinchi tartibli til uchun ham o'rinli bo'lib, bu aksiomalar birinchi tartibli tilning mantiqiy aksiom alari deyiladi. bundan tashqari, birinchi tartibli til bilan ifoda qilinayotgan har bir nazariyaning o'ziga hos ak siom alari ham b o 'la d i. bu aksiom alar nazariyadan nazariyaga o'tgan da o'zgarib turadi. shuning uchun ularni m axsus aksiom alar deb ataymiz. 1, 2, 3 bandlarda aniqlangan formulalardan tashqari boshqa formulalar yo'q. birinchi tartibli til bilan ifoda qilinadigan deyarli barcha n azariyalarga tenglik ak siom alari k iritilad i. u lar quyidagilardan iborat: v1. x = x. v2. x = u => (a (x) => a (y)). birinchi tartibli tilda predikatlar hisobining keltirib chiqarish qoidalarining ba’zilariga o'zgartirishlar kiritiladi. agar a keltirib chiqariluvchi formula bo'lsa, u holda a dagi o'zgaruvchi predmetni a da bog'langan o'zgaruvchi predmetlar qatnashmagan term bilan almashtirsak, hosil bo'lgan ifoda yana keltirib chiqariluvchi formula bo'ladi boshqa keltirib chiqarish qoidalari o ‘zgarishsiz qoladi. b irinchi …
3 / 9
diskret matematika va matematik mantiq - Page 3
4 / 9
diskret matematika va matematik mantiq - Page 4
5 / 9
diskret matematika va matematik mantiq - Page 5

Want to read more?

Download all 9 pages for free via Telegram.

Download full file

About "diskret matematika va matematik mantiq"

diskret matematika va matematik mantiq diskret matematika va matematik mantiq mavzu: birinchi tartibli til xolov firdavs ixtiyoriy tabiatli simvollarning chekli to'plami - w berilgan bo'lsin. bu to'plamni birinchi tartibli tilning alifbosi deb ataymiz. w alifbodagi simvollarning chekli ketmaketligini birinchi tartibli tilning so'zlari deym iz. ikkita ar ..., an va b,,..., bn so'zlarning mos harflari teng, ya’ni a = b:..... an = bn bo'lsa, bu so'zlar teng deyiladi. faraz qilaylik , biror bir aksiomatik nazariya qaralayotgan bo‘lsin. w shu nazariyaning alifbosi, u esa shu nazariyadagi so'zlar to'plami bo‘lsin. u holda, (w, u) juftlik qaralayotgan nazariyaning tili deyiladi. birinchi tartibli til orqali birinchi tartibli nazariyalar ifodalanadi. birinchi tartiblinaza riyalar, umuman olganda, ...

This file contains 9 pages in PPTX format (1.2 MB). To download "diskret matematika va matematik mantiq", click the Telegram button on the left.

Tags: diskret matematika va matematik… PPTX 9 pages Free download Telegram