1 тарау. ТҰжырымдар алгебрасы 5


Тұжырымдар алгебрасы мен тұжырымдар есептелімі арасындағы байланыс



жүктеу 1,18 Mb.
бет24/34
Дата16.01.2022
өлшемі1,18 Mb.
#32886
1   ...   20   21   22   23   24   25   26   27   ...   34
Дип.-ТҰЖЫРЫМДАР-АЛГЕБРАСЫ

2.9 Тұжырымдар алгебрасы мен тұжырымдар есептелімі арасындағы байланыс

Тұжырымдар есептелімінің формулаларын тұжырымдар алгебрасының формулалары ретінде қарастыруға болады. Ол үшін тұжырымдар есептелімінің айнымалыларын тұжырымдар алгебрасының айнымалысындай, яғни екі ақиқат және жалған мән қабылдайтын, қарастырамыз.



операцияларын тұжырымдар алгебрасында сияқты анықтаймыз. Тұжырымдар есептелімінің формулалары тұжырымдар алгебрасының ережелері бойынша есептелетін 1 немесе 0 мәндерінің біреуін ғана қабылдайды.

Тұжырымдар есептелімі формуласының мәні түсінігін енгіземіз. А – тұжырымдар есептелімінің формуласы, х12,…,хn – өзара әртүрлі А формуласына енетін айнымалылар болсын. а1, а2,…,аn арқылы бұл айнымалыларының мәндер тобын белгілейміз. (а1, а2,…,аn) векторы 2n мән қабылдайтыны айқын.

Келесі үш теорема орынды.

Теорема 1. Әрбір тұжырымдар есептелімінде дәлелденетін формула тұжырымдар алгебрасында тепе-тең ақиқат болады.

Теорема 2. (шығарылу туралы). А – тұжырымдар есептелімінің қандай да бір формуласы болсын; х12,…,хn – А формулаға енетін айнымалылардың тобы; а1, а2, …, аn – бұл айнымалылар мәндерінің кез келген бекітілген тобы. Н арқылы формулалардың ақырлы жиынынын белгілейміз:

, где

Онда:


  1. Егер Ra1,a2,..,an(A)=1 болса, онда H├A .

  2. Егер Ra1,a2,..,an(A)=0 болса, онда H├ , мұнда Ra1,a2,..,an(A) – А формуланың а1, а2,…,аn топтағы мәні.


Теорема 3. Тұжырымдар алгебрасының әрбір тепе-тең ақиқат формуласы тұжырымдар есептелімінде дәлелденетін формула болады.



жүктеу 1,18 Mb.

Достарыңызбен бөлісу:
1   ...   20   21   22   23   24   25   26   27   ...   34




©g.engime.org 2024
әкімшілігінің қараңыз

    Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау