IPOTESI E TESI
Torniamo a parlare dell'IMPLICAZIONE LOGICA
Abbiamo visto che, date due proposizioni p e q, diremo che p implica q è vera se, dall'essere vera p segue che è vera anche q.
Quando l'IMPLICAZIONE
è VERA
si dice anche che essa è una PROPRIETA' o un TEOREMA.
Un TEOREMA è una PROPOSIZIONE che, partendo da delle condizioni iniziali giunge, attraverso una DIMOSTRAZIONE, a delle conclusioni.
Nel TEOREMA:
- p è la condizione dalla quale si parte e prende il nome di IPOTESI;
- q è la conclusione alla quale si giunge e prende il nome di TESI.
La DIMOSTRAZIONE non è altro che un ragionamento logico che permette, partendo dall'IPOTESI di giungere alla TESI: in pratica si tratta di una serie di IMPLICAZIONI LOGICHE che confermano che le ipotesi implicano la tesi.