Diskuse:Přímý důkaz
Přidat témaDobrý den, uvedená definice příliš zužuje pojem přímého důkazu pouze na dokazování implikací. Např. v http://www.karlin.mff.cuni.cz/katedry/kdm/diplomky/moravecdp/dukazy.php je pojem přímého důkazu vysvětlen jako důkaz jakéhokoliv tvrzení, ne pouze implikace. V některých zdrojích - např na anglické Wikipedii se mezi metody přímého důkazu rovněž řadí důkaz indukcí a důkaz výpočtem.