par L’invariance fait partie des techniques avancées. Elle agit sur des cases vides ou sur des cases contenant des booléens. Elle demande la mise en place d’hypothèses.
La formulation ci-dessous s’applique aux cases contenant des booléens; sachant qu’on peut toujours mettre un booléen dans une case vide, elle s’applique donc aussi aux cases vides.
Soient deux cases contenant chacune un booléen, a et b.
Si a => b et ¬a => b, alors b est vrai.
Si a => ¬b et ¬a => ¬b, alors b est faux.