Exercice sur les suites

[masema95]

Bonsoir,

J'ai un exercice de maths à faire mais je ne le comprends pas vraiment.
L'énoncé :

Soit Qn l'assertion : {Un = 2 puissance n}. Montrez que pour n >=0, on a
Qn^Q(n+1) |- Q(n+2).
Je ne comprends pas bien ce que c'est une assertion et puis je n'arrive pa à résoudre le "problème".

Pouvez vous m'aider svp ??

[XENSECP]

Une assertion c'est juste une proposition initiale que tu prends comme telle.

[masema95]

Okay merci