[HOME PAGE] [STORES] [CLASSICISTRANIERI.COM] [FOTO] [YOUTUBE CHANNEL]

Prova per deducció - Viquipèdia

Prova per deducció

De Viquipèdia

La prova per deducció o prova 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.

Donada una hipòtesi, hi ha un mètode lògic que, pas a pas, prova si aquesta hipòtesi és veritable.

Exemple

Si a \in \R^+, provar que a^2 \ge 0.


Prova:

Des de a \geq 0 aleshores, per la propietat multiplicativa del sistema de nombres reals,

a \times a \geq a \times 0

a^2 \geq 0 \mathcal{p}