Dimustrazzioni matimàtica
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 lu còdici]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.
- Addichiarari ca a dimustrazzioni si vòli fari ppi induzzioni e addichiarari quali variabbili vèni agghiusata pi lu passu di l'induzzioni.
- Pruvàri ca a dichiarazzioni jè vèra ppi quarchi casu ri partènza.
- 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.
- 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 lu còdici]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.