Nizomiy nomidagi toshkent davlat pedagogika universiteti “Tasdiqlayman”

Sonli ifodalarning tenglik munosabati refleksivUk, simmetfiklik va tranizitivlik xossalariga esa, ya'ni bu munosabat ekvivalent munosabatdir. Shuning uchun barcha sonli ifodalar to'plami ekvivalentlik guruhlariga bo'linadi, bu guruhlarga bir xil qiymatga ega bo'lgan ifodalar kiradi. Masalan, bitta ekvivalentlik guruhiga
5 + 1, 9 - 3, 2 • 3, 12 : 2 va boshqa ifodalar (ulardan har birining qiymati 6 ga teng)

kiradi.

Yuqorida berilgan ta'rifdan, agar A = В va C = D tengliklar rost bo'lsa (bunda, A, B, C, D — sonli ifodalar), u hold a tegishli amallarni bajarish natijasida hosil bo'lgan

(A) + (C) = (B) + (D); (A) - (C) = (B) - (D);

(A) • (C) = (B) • (D); (A): (C) = (B): (D)

tengliklar ham rost bo'ladi.

A < В tengsizlikni (bunda, A va В — sonli ifodalar) biz rost deymiz, agar A va В ifodalar sonli qiymatlarga ega bo'lib, shu bilan birga A ifodaning sonli qiymati В ifodaning sonli qiymatidan kichik bo'lsa. Masalan, (18-3):5<3 + 4 tengsizlik rost, chunki (18 - 3): 5 ning qiymati 3 ga, 3 + 4 ning qiymati 7 ga teng, 3

A = B, C< D ko'rinishdagi yozuvlar (bunda, A, B, C, D — sonli ifodalar) mulohaza (jumla) bo'lgani uchun biz ular ustida konyunksiya, dizyunksiya, implikatsiya va boshqa mantiqiy amal­larni bajarishimiz mumkin. Biz o'zgaruvchi qatnashgan ifodalar hosil qildik. (1) ifodada a o'zgaruvchi, (2) ifodada uchta — a, b va с o'zgaruvchi qatnashgan. Bu harflarga turli qiymatlar berib, turli masalalarni hosil qilamiz. Bu masalalarning har birining javobini topish uchun (1) yoki (2) ifodalardagi harflarga tegishli qiymatlami qo'shish kerak. Masalan, shaharlar orasidagi masofa 240 km, velosiped-chining tezligi 15km/soat, avtomobilning tezligi 50km/soat bo'lsa, (2) ifodada a ni 240 ga, b ni 15 ga, с ni 50 ga almashtirish kerak. Natijada qiymati 3 bo'lgan (240 - 3 • 15): (15 + 50) sonli ifoda hosil bo'ladi. Bu holda avtomobil yo'lga chiqqandan 3 soat keyin uchrashuv sodir bo'ladi.