Complétez la grille pour retrouver le porte-avions de 5 cases!
Chacune des affirmations ci-dessous est vraie si et seulement si le porte-avions se trouve sur la case correspondante. Attention, deux bateaux ne peuvent pas se toucher...

• A3 : \(|-x|=x\).
• I5 : La propriété \(\mathcal{P}(n)~:~n>n+1\) est héréditaire.
• D1 : La contraposée de \(P\implies Q\) est \(\mathrm{non}(P)~\mathrm{et}~Q\).
• J5 : La négation de \([\forall \varepsilon>0,~ \exists n_0\in\mathbb{N},~\forall n \geq n_0, ~ |u_n-\ell|\leq \varepsilon]\) est : \[\forall \varepsilon\leq 0,~ \exists n_0\not\in\mathbb{N},~\forall n\lt n_0, ~ |u_n-\ell|\gt\varepsilon.\]
• I2 : \(\mathrm{non}(P\text{ ou }Q) \equiv \left(\text{non}(P) \text{ et }\text{non}(Q)\right)\).
• I6 : \(\text{non}(\forall x\in E,~P(x)) \equiv \left( \exists x \in E, ~P(x)\right)\).
• G8 : \(\mathrm{non}(P\implies Q) \equiv \left( \mathrm{non}(P)\implies \mathrm{non}(Q)\right)\).

Vous avez repéré le porte-avions ? Indiquez ci-dessous les 5 cases qu'il occupe séparées par des tirets et ordonnées par ordre alphabétique et/ou croissant.