DE MORGAN
J.BUL
R.DEKART
ARISTOTEL
01 02 03 04 Mantiq - muhokama yuritishning qonun-qoidalari, usullari va
formalari (shakllari) haqidagi fan bo‘lib, uning asoschisi …… hisoblanadi.
Kim birinchi bo’lib mantiq va matematika operatsiyalari o‘rtasidagi o‘xshashlikka
asoslanib, mantiqiy xulosalarga algebraik simvolikani qo‘lladi.?
A
ARISTOTEL
B
EVKLID
C
BERUNIY
D
J.BUL
01 02
A
DE MORGAN
B
R.DEKART
C
D.GILBERT
D
J.BUL
«Mantiqiy tenglamalami yechish usullari va matematik
mantiqning teskari usuli haqida» (1884) nomli kitobining muallifi kim?
Matematik mantiqni texnikaga qo‘Uashni birinchi bo‘lib kim amalga oshirgan?
D.Gilbert va nemis olimi V.Akkermanning 1928- yilda chop etilgan matematik mantiq rivojlanishiga katta asos bo’lgan asari?
01 02 03 04 05 A: ARISTOTEL
D: J.BUL
C: PARETSKIY
A: ERENFEST
A:NAZARIY MANTIQNING ASOSIY XUSUSIYATLARI
ASAR ASOSIDA TUZILGAN MANTIQIY MATEMATIKAGA OID TESTLAR
01 02 03 04 Quyidagi aksioma Sermelo-Frankelning qaysi aksiomasi:
Bo‘sh bo‘Imagan va o'zaro kesishmaydigan
to‘plamlar majmuasidagi har bir to‘plamdan bittadan “vakil”-element
tanlab, shu elementlar to‘plami Cni tuzish mumkin. X to‘plam shu
majmuaning qanday elementi bo‘lishidan qat’i nazar X va С to‘plamlar
faqatgina bitta umumiy elementga ega boiadi.
Tushirib qoldirilgan jumlani toping
Chekli to'plamning elementlari soni shu to’plamning
......deb ataladi.
Kortejni tashkil qiluvchi elemtlar nima deb ataladi