«Predikatlar algebrasining simvollari, tili. Predikatlar mantig’ida formula tushunchasi.»

5. Predikatlar ekvivolentsiyasi.

Faraz qilaylik X to’plamda A(x) va V(x) predikatlar berilgan bo’lsin.

A(x) va B(x) predikatlar bir xil qiymatlar qabul qilgandagina chin bo’ladigan mulohazalar predikatlar ekvivolenttsiyasi deyiladi va A(x)B(x) kabi belgilanadi, hamda A(x) va B(x) predikatlar teng kuchli deb o’qiladi.

A

Х
(x) va B(x) predikatlarni chinlik to’plamlari mos ravishda T_A va T_B bo’lsa, A(x)B(x)mulohazani chinlik to’plami T= (T_AT_B)(T_A¹T_B¹) bo’ladi.