• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

dimostrazione

Enciclopedia della Matematica (2013)
  • Condividi

dimostrazione


dimostrazione concatenazione logica tra asserzioni che deduce da una serie di premesse dette ipotesi, attraverso proposizioni intermedie, una conclusione detta tesi che è necessaria conseguenza delle premesse stesse. In un sistema formale S dotato di assiomi e regole di inferenza, la dimostrazione di una formula A è una catena di deduzione che permette di dedurre la formula A dagli assiomi mediante l’applicazione delle regole di inferenza. Poiché l’insieme degli assiomi logici costituisce la base per ogni teoria matematica, nelle diverse teorie si trovano le medesime forme di dimostrazione applicate però a oggetti diversi. Una dimostrazione che, nella sua forma espositiva, procede direttamente dalle ipotesi alla tesi, attraverso una catena di deduzioni che utilizzano gli assiomi della teoria o teoremi precedentemente dimostrati (lemmi), è detta dimostrazione diretta. Un caso particolare della dimostrazione diretta è quello in cui si suddivide il teorema da dimostrare in più sottocasi che, uniti, conducono alla dimostrazione del teorema nella sua globalità; una tale forma di dimostrazione è detta dimostrazione per casi. Altre forme di dimostrazione sono:

• la dimostrazione con l’ipotesi ausiliaria. Si basa sul teorema di → deduzione: per dimostrare la formula A ⇒ B si dimostra la formula B aggiungendo A agli assiomi della teoria, cioè usando A come ipotesi ausiliaria. In sostanza, data una teoria T con i suoi assiomi, essa viene ampliata con l’aggiunta dell’ipotesi ausiliaria A come assioma, ottenendo come teorema (in questa teoria ampliata) la formula B;

• la dimostrazione per assurdo. Per dimostrare la formula A si dimostra che aggiungendo agli assiomi come premessa la formula ¬A, cioè la negazione di A, detta anche ipotesi assurda, si giunge a una contraddizione. Questo tipo di ragionamento si basa sul principio del → terzo escluso per cui se la formula ¬A non può essere vera perché porta a una contraddizione, allora deve essere necessariamente vera la formula A. Per esempio, si dimostra per assurdo che √(2) è un numero irrazionale, che esistono infiniti numeri primi, che l’insieme dei numeri reali non è numerabile, che esistono infiniti numeri razionali compresi tra 0 e 1. Quella per assurdo è una dimostrazione di tipo indiretto; per questo motivo è valida nella logica classica, in cui vige il principio del terzo escluso, ma viene rifiutata in altri tipi di logica come per esempio la logica intuizionista in cui tale principio non vale. Per questo la corrente matematica nota sotto il nome di intuizionismo rifiuta le dimostrazioni per assurdo a favore di dimostrazioni di tipo costruttivo in cui venga mostrata una costruzione dell’oggetto di cui si vuole mostrare l’esistenza. La dimostrazione per assurdo ha rivestito una notevole importanza nella storia della matematica. Essa fu già utilizzata da Euclide e, in seguito, anche da G. Saccheri nei suoi studi sul quinto postulato di Euclide (→ geometria non euclidea);

• la dimostrazione per dilemma. Per dimostrare una implicazione del tipo A ⇒ B, si considerano due premesse C e D almeno una delle quali è sicuramente vera. Se si dimostra che da A e C deriva B (in formula, A ∧ C ⇒ B) e anche da A e D deriva B (A ∧ D ⇒ B) allora ciò equivale a dire che da A deriva B (cioè A ⇒ B). Sostanzialmente il metodo si basa sul distinguere due casi possibili C o D;

• la dimostrazione con controesempio. Se si vuole dimostrare che una proprietà A non è verificata da ogni elemento x di un dato insieme, basta esibire un controesempio, cioè un elemento x dell’insieme che non verifica la proprietà A; in questo senso per dimostrare un teorema della forma ¬∀xA(x) si dimostra il teorema della forma equivalente Ǝk: ¬A(k). Per esempio, per dimostrare che «non tutti i numeri pari sono multipli di 8» basta considerare come controesempio il numero 4 che è pari ma non è multiplo di 8.

Un ulteriore metodo di dimostrazione usato nella pratica matematica per dimostrare che una proprietà P vale per un numero infinito di casi è la dimostrazione per induzione: se P è una proprietà che dipende in qualche modo da un numero naturale n, allora per dimostrare che la proprietà P vale per ogni numero naturale è sufficiente mostrare:

a) che la proprietà è vera per un certo numero naturale n0 (base dell’induzione);

b) che, qualunque sia k ≥ n0, se la proposizione è vera per n = k, allora è vera per n = k + 1 (passo induttivo).

In questo modo possono essere dimostrate alcune proprietà dei numeri naturali come per esempio l’uguaglianza 12 + 22 + 32 +… + n2 = n(n + 1)(2n +1)/6.

Vedi anche
postulato Linguistica Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza come etimi di parole moderne (per es., il lat. *rocca che, pur non ricorrendo in alcun testo latino, ... ipotesi Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, che in via di tentativo si dà di un fatto o di una serie di fatti, noti o comunque che si ritengono ... teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. In un sistema assiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta in quanto ... deduzione Filosofia Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato sull’essenza necessaria o sostanza degli oggetti cui si riferiscono le proposizioni: è questa l’interpretazione ...
Tag
  • PRINCIPIO DEL → TERZO ESCLUSO
  • DIMOSTRAZIONE PER INDUZIONE
  • QUINTO POSTULATO DI EUCLIDE
  • DIMOSTRAZIONE PER ASSURDO
  • STORIA DELLA MATEMATICA
Altri risultati per dimostrazione
  • dimostrazione
    Enciclopedia on line
    Filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. La nozione di d. venne introdotta da Aristotele che la definì come quella forma speciale di sillogismo che deduce una conclusione da principi primi e veri, distinta dal sillogismo ...
  • dimostrazione
    Dizionario di filosofia (2009)
    Procedimento discorsivo che, attraverso una sequenza di passaggi logici, conduce alla conclusione che una certa affermazione è vera o è conseguenza di alcuni principi, ipotesi o assiomi. Normalmente il termine dimostrazione viene affiancato dall’aggettivo matematica, che ne specifica alcune caratteristiche, ...
  • dimostrazione
    Dizionario delle Scienze Fisiche (1996)
    dimostrazióne [Der. del lat. demonstratio -onis, dal part. pass. demonstratus di demonstrare "rendere manifesto", comp. di de- e monstrare "mostrare"] [FAF] (a) Argomentazione attraverso la quale si stabilisce che una certa nozione o tesi è vera. (b) In una teoria matematica o fisica, procedimento consistente ...
  • DIMOSTRAZIONE
    Enciclopedia Italiana (1931)
    Significa, per Aristotele, ragionamento con cui si stabilisce la verità di una proposizione o di un ordine di proposizioni, in modo necessario (v. apodissi). Per ciò il ragionamento deve procedere sul modello delle matematiche, secondo le regole del discorso deduttivo (riducibile a una catena di sillogismi) ...
Vocabolario
dimostrazióne
dimostrazione dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dimostrare
dimostrare (ant. demostrare) v. tr. [dal lat. demonstrare, comp. di de- e monstrare «mostrare, dimostrare»] (io dimóstro, ecc.). – 1. a. Rendere manifesto con fatti, con parole, con segni certi: d. affetto, amicizia, comprensione; d. la...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali