Shartlar (aksiomalar) o’rinli bo’lsa, u holda  to’plamni  amalga nisbatan gruppa tashkil etadi deyiladi
Xar qanday teorema xam tuzilishi jixatidan asosan ikki qismdan iborat bo’lishi mumkin bo’lib, bu qismlar teomalarning sharti va xulosasidir. Teoremaning shart qismini , xulosa qismini  va u xolda so’zini  logic amal belgisi bilan almashritib, uni  implikatsiya ko’rinihsida ifodalash mimkin. Shunday qilib, bazi teoremalarning umumiy ifodalanishi “Agar bo’lsa, u holda bo’ladi” ko’rinishida bo’ladi.
To’g’ri va teskari teorema
Do'stlaringiz bilan baham: |
