exo7 7039

Soit PnP_n une assertion dépendant de n∈Nn \in \N telle que:

1

P0P_0 est vraie;

2

∀n∈N,Pn⇒(Pn+3 et Pn+4)\forall n \in \N, P_n \Rightarrow (P_{n+3} \text{ et } P_{n+4}).

Exercice 4hO6

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?