induzione

• induzione matematica: $[P(0)\wedge (P(n)⟹P(n+1))]⟹\forall n,P(n)$
• induzione completa: $[P(0)\wedge [\forall x\le nP(x)]]⟹\forall n,P(n)$
• induzione strutturale: $\frac{P(U)\wedge ((P(t_1)\wedge P(t_2))⟹P(B(t_1,t_2)))}{\forall t\in AP(t)}$

Esempi

• dimostrazione della numerabilità con l’induzione
• dimostrare che dato un insieme V di n punti li possiamo collegare due a due con n(n-1) diviso 2 segmenti (si assuma n maggiore uguale a 2)
• induzione con definizione di funzione
• induzione con diagonali dei poligoni