Teorema: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile |
Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 10:
* Le '''ipotesi''' sono le condizioni iniziali su cui si vuole ragionare, esse sono puramente arbitrarie e non hanno motivo di essere dimostrate.
* La '''tesi''' è la conseguenza delle ipotesi, in un teorema tutte le volte che si verificano le condizioni iniziali descritte nelle ipotesi allora si verifica anche la tesi.
* Un teorema, per essere tale, deve contenere una '''dimostrazione''', cioè un insieme di [[implicazione logica|implicazioni logiche]] che possano assicurare che le ipotesi implichino la tesi. Per ottenere una dimostrazione soddisfacente possono essere seguiti diversi schemi dimostrativi come la [[dimostrazione per induzione]] matematica, la [[dimostrazione per assurdo]] oppure la dimostrazione costruttiva.
== Tipi di dimostrazione ==
| |||