Ta’rif: 1) M to’plamda aniqlangan har qanday muloxaza va predikat predikatlar logikasining formulasidir;
2) Agar  formula bo’lsa, u holda  ┐ lar ham formuladir;
3) Agar F va G formula bo’lsa, u holda  va  ham predikatlar logikasining formulasi bo’ladi;
4) Predikatlar mantiqidagi formulalar faqat 1), 2), 3) formulalar orqali tuziladi.
Matematik muloxazalarni mantiqiy belgilar yordamida yozish uchun odatda chekli sondagi bazis predmetlar tanlab olinadi. Qolgan xossa va munosabatlar bazis predikatlar hamda erkli o’zgaruvchilar yordamida tuzilgan ta’rif, teoremalar orqali ifodalanadi.
Do'stlaringiz bilan baham: |
