Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

inducció matemàtica EPIST.

Forma de raonament matemàtic, també anomenada inducció completa matemàtica que, en realitat, és una inferència deductiva. Es pot enunciar de la manera següent:

1) Sigui una successió infinita d'enunciats:

2) demostrant que P1 té una determinada propietat, s'estableix que

3) si aquesta propietat és també vertadera per a Pk, llavors també ho és per a Pk+1;

4) i d'aquí es dedueix que és vertadera per a qualsevol enunciat Pn de la sèrie P1, P2, P3, ...Pn.

Demostrant (2) i (3) es prova (4). Es tracta d'un raonament per recursivitat o d'un raonament per recurrència, fundat en l'últim dels cinc axiomes de Peano sobre l'aritmètica (veure exemple).

Termes relacionats

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.