Logique : Test de niveau 2

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

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 ?

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

La traduction mathématique de la proposition "Tous les éléments de l'ensemble A sont des réels positifs'' est

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

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

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

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 "Tous les éléments de l'ensemble A sont des réels positifs" est

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