PREDIKATLAR MANTIG`I TILI - a,b,c,…, - predmet nomlarini ifodalovchi simvollar, ular konstantalar deb ataladi.
- x,y,z,…, - predmetlarning umumiy nomlarini bildiruvchi simvollar.
- P1,Q1,R1,…, Pn,Qn,Rn – predikatlar uchun simvollar; bunda 1- bir o`rinli predikatlar, n – ko`p o`rinli predikatorni bildiradi.
- - hukmning miqdorini bildiruvchi simvollar; - umumiylik kvantori; unga o`zbek tilida «barcha», «har bir», «hech bir» kabi so`zlar to`gri keladi.
- - mavjudlik kvantori; unga o`zbek tilidagi «ba’zi», «ayrim» kabi so`zlar to`gri keladi.
Do'stlaringiz bilan baham: |