Dimustrazzioni matimàtica

Dâ Wikipedia, la nciclupidìa lìbbira.
(Rinnirizzata di Dimustrazzioni matimatica)
Jump to navigation Jump to search

Na dimustrazzioni matimatica eni na manèra ri fari virri ca nu tiurèma matimaticu rici u veru.

Ci sunu tri diffirènti manèri r'addimustrari nu tiurèma matimaticu.

Dimustrazzioni p'induzzioni[cancia | cancia la surgenti]

Nu tipu ri dimustrazzioni è ciamatu dimustrazzioni p'induzzioni. Chissu s'autilizza ppi pruvàri ca nu tiurèma rici a viritati ppi tutti i nummira. Ci sunu 4 passi ri sicuìri nta na dimustrazzioni p'induzzioni.

  1. Addichiarari ca a dimustrazzioni si vòli fari ppi induzzioni e addichiarari quali variabbili vèni agghiusata pi lu passu di l'induzzioni.
  2. Pruvàri ca a dichiarazzioni jè vèra ppi quarchi casu ri partènza.
  3. Assùmiri ca ppi quarchi valòri n = n0 a dichiarazzioni eni vèra e javi tutti li pruprietati listati nta a dichiarazzioni. Chissu jè ciamatu lu passu ri l'induzzioni.
  4. Fari virri ca a dichiarazzioni jèni vèra ppi lu valùri succissivu, n0+1.

Na vòta ca jèni addimustratu, allura chissu vòli diri ca ppi ogni valùri ri n ca eni pigghiatu, lu succissivu eni vèru. Siccòmi è veru ppi quarchi casu inizziali (di sòlitu n=1), allura assìri vèru ppi lu succissivu (n=2). E siccomi jè vveru ppi 2, assiri vèru ppi 3 e cussi di sècuitu. L'induzzioni ni mòstra ca è sempri vera, pricisamenti picchini è vèra ppi quarsiai valuri vèni ruoppu quarsiasi nùmmiru ratu.

Dimustrazzioni ppi cuntraddizzioni[cancia | cancia la surgenti]

A dimustrazzioni ppi cuntraddizzioni eni na manèra ri pruvàri nu tiurèma matimaticu mustrannu ca a dichiarazzioni ca si fici all'inizziu nun rici lu vèru, e dunqui c'eni nu prubblema câ loggica râ prova. Chissu vòli diri ca si unu rei risurtati di lu tiurèma nun eni veru allura a dimustrazzioni nun funziona.