Logique : Test de niveau 2

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 négation de la proposition "\( \forall x\in\mathbb{N},\, \forall y\in\mathbb{N}\, :\, x+y>0\)" est

La négation de la proposition "\(\forall x\in\mathbb{R}_0\, :\, \frac{1}{x}\in\mathbb{R}_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 ?

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

La réciproque de "\(x\in\mathbb{N}\Rightarrow x\geq 0\)" est

La négation de la proposition "Les ensembles \(A\) et \(B\) ont au moins un élément en commun" est

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 "\((P\wedge Q)\Rightarrow P\)" est-elle fausse ?

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