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

4.Predikatlar mantig’ida formula bilan ishlash.

va to`plamlarda rost bo`lgan va predikatlar berilgan bo`lib, - predikatning, predikatning rostlik sohasi bo`lsin. Bu predikatlarga mantiqiy amallarni tatbiq etib yangi predikatlar hosil qilish mumkin. Quyida ular rost bo`ladigan sohalar haqida so`z yuritamiz.

1. predikat va predikatlarning rostlik sohalari kesishmasi da rost bo`ladi.

2. predikat va larning kamida bittasi rost bo`ladigan soha da rost bo`ladi.

3. predikat yolg`on bo`lgan sohada rost, rost bo`lgan sohada esa yolg`onlir.

4. predikat faqat rost, yolg`on bo`lgan sohadagina yolg`on, qolgan sohada rost bo`ladi.

5. predikatning rostlik sohasi shunday qism to`plamdan iboratki, unda va predikatlar bir vaqtda rost yoki bir vaqtda yolg`on bo`ladi. Boshqacha aytganda predikatning rostlik sohasi dan iborat.

Endi predikatlar mantiqining formulalari haqida so`z yuritamiz. to`plam qaralayotgan predikatlarning rostlik sohasi bo`lib, <sub>1</sub>, <sub>2</sub>, <sub>3</sub>...(1) to`plamning bizga ma’lum - o`zgarmas elementlari, <sub>1</sub>, <sub>2</sub>, <sub>3</sub>,...(2) ning bizga noma’lum - o`zgaruvchi elementlari bo`lsin.