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

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 = n₀ 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, n₀+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

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.