Дәлелденетін формуланың анықтамасы туралы қазақша реферат


Дәлелденетін формуланың анықтамасы туралы қазақша реферат

а) Әрбір аксиома дәлелденетін формула болады.

б) Кез келген В формуласынан х  айнымалының орнына алмастыруды қолдану  нәтижесінде алынған формула – дәлелденетін формула.

в) А және  дәлелденетін формулаларға   қорытындылау ережесін қолдану нәтижесінде алынған В формуласы –  дәлелденетін формула болады.

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

Дәлелденетін формулаларды шығару процесін формулалардың дәлелдеуі (шығаруы) деп атаймыз. Бұл бір дәлелденетін формуладан әр қадамда аксиомаларды, алмастыру және қорытындылау ережелерін қолдану көмегімен басқа дәлелденетін формулаға өту процесі (белгілі мағынада логика алгебрасындағы тепе-тең түрлендірулердің аналогі), сондықтан қарапайым формуланың шығаруы да көпқадамды, күрделі болуы мүмкін.


Ұқсас жұмыстар
ҚОРҚЫТ туралы
МАХМҰД ҚАШҚАРИ туралы
ЖҮСІП БАЛАСАҒҰН туралы
Қожа Ахмет Яссауи туралы
ШАҚШАҚҰЛЫ ЖӘНІБЕК туралы
ӨТЕҒҰЛҰЛЫ ӨТЕГЕН туралы
Мемлекеттің пайда болуы туралы
Қазақстандағы банктік жүйенің даму кезеңдері туралы
ӘБІЛҒАЗЫҰЛЫ АРЫНҒАЗЫ туралы
1930 – 1932 ж. несие реформасының мазмұны туралы