Мулохазалар алгебрасидаги формулаларнинг классификацияси.
Мулохазалар алгебрасидаги формулалар эришадиган кийматларга караб, уларни турт хил типга ажратиш мумкин.
Таъриф: Мулохазалар алгебрасидаги F(х ,х ,...,х ) формула бажарилувчи формула дейилади. Агар мулохазаларнинг шундай (А ,А ,...,А ) танланмаси мавжуд булиб, формуланинг ундаги конкретлашгани рост мулохаза булсин, яъни F формуланинг ростлик жадвалидаги охириги устунида хеч булмаганда битта 1 мулохаза булсин.
Таъриф: Мулохазалар алгебрасидаги F(х ,х ,...,х ) формула инкор килинувчи формула дейилади. Агар шундай (А ,А ,...,А ) танланмаси булиб, формуланинг бу танланмадага конкретлашгани ёлгон булсин, яъни F(х ,х ,...,х ) формуланинг охриги устунида хеч булмаганда битта 0 булсин.
Do'stlaringiz bilan baham: |