Ip- §. Мулох,азалар алгебраси н и нг форул ала ри, Мулоцазалар алгебр асининг асосий вазифаларида н

Р„ , Р,1 формула Р „ . , P _r преднкат.бар Т тупламда камида битта усулда аницланганда, х„ . . , х, предмет уз-
г а рувчи. ар Т т плам элeмeнтлари билан нdмИАа б›ітта усул- да а .лііаштирилгавда уамда А , ... , А пропозиционал уз-
гарувЧилар цийматларининг камида битта тизимнда 1 цпймат кабул би. са, у х.олда N формула Т тупламда ёажарипу8ЧН А^{ейилади. N формула ихтиёрий Г тупламда бажарилувчи} булса, у холдa у бажарилувчи формула дейилaди.
М и с о .э л а р. 1. & (z) : «х — мусбат» — предикат А’ туп- ламда айнан рост булади.

44

www.ziyouz.com kutubxonasi