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

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

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

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

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

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

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

Ұқсас жұмыстар

Тұжырымдар алгебрасы

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

Математикалық логика және дискретті математика

Монотонды тізбектер

Екінші текті қисық сызықты интегралдың жолдан тәуелсіздігі

Римдік жек құқық пәні

Арыз

«Математикалық сөйлемдер теоремаларды дәлелдеу әдістері»

Теорема,оның құрылымы және түрлері

Оқушыларды дәлелдеуге үйрету әдістемесі

ҚОРҚЫТ туралы