Дәлелденетін формуланың анықтамасы туралы қазақша реферат
Дәлелденетін формула ұғымы
Тұжырымдар есептелімінде дәлелденетін формула (теорема) — белгілі ережелер мен аксиомалар арқылы алынатын формула. Төмендегі анықтама дәлелденетін формулалардың қалай қалыптасатынын нақтылайды.
Анықтама: дәлелденетін формулалар жиыны
- а) Әрбір аксиома дәлелденетін формула болып саналады.
- б) Кез келген B формуласындағы x айнымалысының орнына алмастыру қолдану нәтижесінде алынған формула да дәлелденетін формула болады.
- в) A және дәлелденетін формулаларға қорытындылау ережесін қолдану арқылы алынған B формуласы да дәлелденетін формула болып табылады.
- г) Тұжырымдар есептелімінде бұлардан басқа ешбір формула дәлелденетін деп есептелмейді.
Дәлелдеу (шығару) процесі
Дәлелденетін формулаларды алу процесін формуланың дәлелдеуі немесе шығаруы деп атаймыз. Бұл — әр қадамда аксиомаларды, алмастыруды және қорытындылау ережелерін қолдана отырып, бір дәлелденетін формуладан келесі дәлелденетін формулаға өту процесі.
Белгілі бір мағынада бұл логика алгебрасындағы тепе-тең түрлендірулердің аналогіне ұқсайды. Сондықтан тіпті қарапайым формуланың шығаруы да көпқадамды әрі күрделі болуы мүмкін.