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



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

Дедукция теоремасы. Егер А, В формулалары және Г жүйесі үшін, Г, орындалса, онда орындалады.
Дедукция теоремасын қолдану «егер А , онда В « пікірінің ақиқаттығын көрсетеді.
Дедукция теоремасының салдарлары.
1 салдар. (силлогизм ережесі). .
2 салдар.
3 салдар. Егер және болса, онда (егер Г жүйесінен А формуласын қосқаннан В формуласы қорытылса және формуласын қосқаннан В формуласы қорытылса, онда Г жүйесінен В формуласы қорытылады ).
Теорема (тавтологияның қорытылуы туралы). Пікірлер есептелімінің А формуласы қорытылымды сонда тек сонда ғана, егер ол пікірлер логикасында ақиқат (тавтология) болса (яғни 1-ге теңбе-тең буль функциясы ретінде көрсетілсе).


Әдебиет: 1, 108-111; 6, 97-105 бет; 17, 17-34 бет.


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




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

    Басты бет