Logique : Test de niveau 2

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\exists\, x\in A\, :\, x\in B\)" est-elle vraie ou fausse ?

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 proposition "\((P\vee(Q\Rightarrow Q))\Rightarrow Q\)" est une tautologie.

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

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

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

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

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