Demostració per deducció
La demostració per deducció o demostració directa és una demostració matemàtica on la conclusió està establerta a través de la combinació lògica dels axiomes, definicions o teoremes ja existents.[1]
Donada una hipòtesi, hi ha un mètode lògic que, pas a pas, prova si aquesta hipòtesi és veritable.
Exemple
Si , demostreu que .
Demostració:
Des de aleshores, per la propietat multiplicativa del sistema de nombres reals,
Quod erat demonstrandum (Q.E.D.).
Referències
- ↑ «PROOF IN MATHEMATICS: AN INTRODUCTION».