Logique : Test de niveau 2

La traduction en français de la proposition "\(\exists\, x\in \mathbb{Q},\forall y\in \mathbb{Q}\, :\, x\neq y^2\)" est

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

La traduction mathématique de la proposition "Il y a des entiers qui ne sont pas naturels" est

Ecrivez la phrase suivante sous forme de proposition composée et déterminez si elle est vraie ou fausse. Précisez les propositions simples \(P\) et \(Q\) que vous utilisez. "6 < 2 est une condition suffisante pour que 1 = 2.''

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 contraposée de "Si f est dérivable alors f est continue'' est

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

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\)" ?

La négation de la proposition "Tous les éléments de l'ensemble A sont des réels positifs" est

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