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