Дәрістер тезистері 1 тақырып Жиындар теориясының элементтері Мақсаты



бет53/64
Дата07.02.2022
өлшемі2,42 Mb.
#91114
1   ...   49   50   51   52   53   54   55   56   ...   64
Байланысты:
Дискретт математика. Дәрістер

Логикалық пікірлердің белгілері.


Теорема. (логикалық салдардың белгісі). H формуласы F формуласының логикалық салдары болады сонда тек сонда ғана, қашан F H формуласы таврология болады: F=H =F H.


Теорема. Кез-келген F, …, F, H (m 2) формулалары үшін келесі тұжырымдар мәндес:
а) F , …, F=H
б) F F …, F=H
в) = (F F …, F) H


Теорема. Пікірлер алгебрасының екі формуласымәндес болады сонда тек сонда ғана, егер әрқайсысы бір-бірінің логикалық салдары болса:
F H F=H и H=F




Достарыңызбен бөлісу:
1   ...   49   50   51   52   53   54   55   56   ...   64




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

    Басты бет