Кукон давлат педагогика институти

Мулохазалар алгебрасидаги формулаларнинг классификацияси.

Мулохазалар алгебрасидаги формулалар эришадиган кийматларга караб, уларни турт хил типга ажратиш мумкин.

Таъриф: Мулохазалар алгебрасидаги F(х,х,...,х) формула бажарилувчи формула дейилади. Агар мулохазаларнинг шундай (А,А,...,А) танланмаси мавжуд булиб, формуланинг ундаги конкретлашгани рост мулохаза булсин, яъни F формуланинг ростлик жадвалидаги охириги устунида хеч булмаганда битта 1 мулохаза булсин.

Таъриф: Мулохазалар алгебрасидаги F(х,х,...,х) формула инкор килинувчи формула дейилади. Агар шундай (А,А,...,А) танланмаси булиб, формуланинг бу танланмадага конкретлашгани ёлгон булсин, яъни F(х,х,...,х) формуланинг охриги устунида хеч булмаганда битта 0 булсин.