Dimostrazione: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
AttoBot (discussione | contributi)
m WPCleaner v1.41b - Fixed using Wikipedia:Check Wikipedia (Wikilink uguali alla propria descrizione)
Riga 18:
Il risultato finale della catena dimostrativa viene definito come [[teorema]].<ref name="Royster"/> A questo proposito va segnalato che spesso si incontra un uso sinonimico di altri termini come [[lemma (matematica)|lemma]] e [[proposizione (logica)|proposizione]] che può indurre in confusione.
 
Il termine [["proposizione]]" indica la frase in sé: proposizioni sono tutte le frasi di senso compiuto, studiate dalla scienza logica. Il termine "[[enunciato]]" indica la proposizione come studiata dalla logica, ovvero nella sua qualità di vera o falsa.
 
Il termine "[[lemma]]" indica un enunciato risultato da una catena dimostrativa, che sia un passaggio intermedio per la dimostrazione di un teorema. Il termine "[[teorema]]" indica, infine, l'enunciato che si intende dimostrare.<ref name="Royster" />
 
==Storia==