Logique : Test de niveau 2

La négation de la proposition "\(-2\leq x\leq 2\)'' est

Soit   \(B=\{1,2,3\}\). La proposition suivante est-elle vraie ou fausse : "\(\forall x\in B,\, \exists\, y\in B\, :\, x^ 2+y^2<12\)" ?

Soit   \(B=\{1,2,3\}\). La proposition suivante est-elle vraie ou fausse : "\(\forall x\in B,\, \forall y\in B\, :\, x^ 2+y^2<12\)"?

La négation de la proposition "\( \forall x\in\mathbb{N},\, \forall y\in\mathbb{N}\, :\, x+y>0\)" est

Soit A et B deux ensembles non vides. L'implication "\(A\subseteq B\Rightarrow\forall x\in B\, :\, x\in A\)" est-elle vraie ou fausse ?

La traduction mathématique de la proposition "Si a et b sont deux entiers naturels, il existe un multiple de a qui est supérieur à b'' est

L'implication "\(P\Rightarrow Q\)" signifie

La contraposée de "Si f est dérivable alors f est continue'' est

La proposition "\(((P\vee Q)\wedge R)\Leftrightarrow(P\vee(Q\wedge R))\)" est une tautologie.

Pour quelles valeurs de vérité de P et Q la proposition "\(\neg P\Rightarrow(P\wedge Q)\)" est-elle vraie ?