O’quv-uslubiy majmua O’zbekiston Respublikasi Oliy va o’rta maxsus ta’lim vazirligining 2020 yil 14-avgustdagi № bd-5110100 02 bilan tasdiqlangan falsafa fanidan namunaviy dastur asosida ishlab chiqilgan

FORMALLASHGAN TIL - formal mantiqda ishlatiladigan sun’iy tildir. Sun’iy til - belgilari sistemasidan iborat bo’lib, bu sistemalar ma’noni aniq va to’liq ifodalash uchun ishlatiladi. Gap tilda mustaqil semantik ma’noga ega va tugal fikrni anglatadi, to’liq til belgisini ifodalaydi.

Predikatlar mantig’i tilining simvolik ifodasi quyidagicha:

1) A, V, S, ... – yakka, atoqli yoki tavsifiy predmetlarning nomi ifodalangan simvollar – predmetli o’zgarmas (konstant) deb ataladi.

2) X, U, Z, ... – predmetlarning umumiy nomini ifodalovchi simvollar, predmetli o’zgaruvchanlik deb ataladi.