Logique : Test de niveau 2

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 contraposée de "\(x\in\mathbb{N}\Rightarrow x\geq 0\)" est

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

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

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

 

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

La négation de la proposition "\(\forall x\in\mathbb{R}_0\, :\, \frac{1}{x}\in\mathbb{R}_0\)" est

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

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