Dimostrazione: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
AttoBot (discussione | contributi)
m Errori comuni, typos fixed: in sè → in sé using AWB
AttoBot (discussione | contributi)
m WPCleaner v1.41b - Fixed using Wikipedia:Check Wikipedia (Wikilink uguali alla propria descrizione)
Riga 20:
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|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==