Termiz davlat universiteti axborot texnologiylari fakulteti informatika o

7. (х  N ) (P(x)  S(x) )	8. (х  N )
( S(x)  P(x) )

Бу формулаларнинг биринчиси қуйидагича ўқилади: Ихтиёрий олинган х натурал сон учун агар х нинг рақамлари йиғиндиси 3 га бўлинса у ҳолда х сон 3 га бўлинади. Иккинчи формула қуйидагича ўқилади: Натурал сонлар тўпламига тегишли бўлган ихтиёрий х сон учун агар х сон учга бўлинса, у ҳолда х нинг рақамлари йиғиндиси 3 га бўлинади. Учинчи формула қуйидагича ўқилади. Натурал сонлар тўпламига тегишли бўлган изтиёрий х сон учун агар х нинг рақамлари йиғиндиси учга бўлинмаса у ҳолда х сон ҳам учга бўлинмайди.

2. 
   Мисол. Натурал сонлар тўплами N да қуйидаги предикатлар берилган бўлсин, Р(х)-х соннинг рақамлари йиғиндиси 9 га бўлинади.
   

S(x)-х сон 9 га бўлинади. Бу предикатлардан қуйидаги формулани тузамиз.

1. (х  N ) (P(x)  S (x)) ,	2. (х  N )	(S(x)  Q(x))
3. (х  N ) (P(x)  S(x)) ,	4. (х  N )	(S(x)  P(x))
5. (х  n) (P(x)  S (x)	6. (х  N )	(S (x)  Q(x))