3) R1, Q1, R1, R2, Q2, R2, ... RN, QN, RN, ... – predikorlarni ifodalovchi simvollar (indekslar predikatlarni joyini ko‘satadi: 1 – bir joyli; 2 – ikki joyli; n – ko‘p joyli) ularni predikat o‘zgaruvchanligi deyiladi.
4) R, q, r, ... propoziSion o‘zgaruvchanlik – gapni ifodalanishini bildiruvchi simvollar.
5) , - fikrlarning miqdoriy harakteristikasini ifodalovchi simvollar – kvantor deb ataladi. ( - umumiylik kvantori: «hamma», «har qanday», «hamma vaqt» kabilarda ifodalanadi. - mavjudlik kvantori: «ba’zi», «bo‘ladi», «uchraydi», «mavjud» kabilarda ifodalanadi).
Do'stlaringiz bilan baham: |