Директен доказ: Разлика помеѓу преработките

Во [[математика]]та и [[логика]]та, '''директен доказ''' е начин на докажување дека дадено тврдење е [[вистина|вистинито]], или пак дека е невистинито и тоа преку непосредно комбинирање на востановени факти, обично претходно докажани [[лема|леми]] и [[теорема|теореми]], или пак аксиоми, без било какви дополнителни претпоставки. За директно докажување на тврдење во форма на [[Материјална_импликација|импликација]] "Ако p, тогаш q", неопходно е единствено да се претпостави дека е исполнет условот, односно претпоставката p. За да се стигне од претпоставката до заклучокот се користат формалните правила за изведување на заклучоци (расудување). Скоро секогаш се користи таканаречената логика од прв ред, односно предикатна логика, со вклучување на кванторите ''за секој'' и ''постои''. Правилата за изведување на заклучоци се модус поненс и хипотетички силогизам.