geometria - i teoremi
"riscaldando un corpo solido si dilata"
Il prodursi del primo fatto implica il verificarsi del secondo. Per questo motivo questa frase prende il nome di implicazioni logiche o semplicemente implicazioni.
La prima delle situazioni considerate si chiama ipotesi. La seconda si dice tesi.
L'ipotesi riscaldo un corpo solido
la tesi il corpo si dilata.
Nelle implicazioni logiche di tipo matematico la dipendenza della tesi dalla relativa ipotesi non viene accettata perché la cosa è evidente o perché l'esperienza ripetuta ci prova che tale dipendenza effettivamente sussiste, bensì in virtù di un preciso ragionamento che viene detto dimostrazione.
Le implicazioni logiche che possono essere provate mediante una dimostrazione si chiamano teoremi.
In un teorema la proposizione che si intende dimostrare viene detta enunciato del teorema stesso.
Nessun commento:
Posta un commento