Auto-Math
La traduction mathématique de la proposition "Si a et b sont deux entiers naturels, il existe un multiple de a qui est supérieur à b'' est
\(\forall a\in\mathbb{N},\, \forall b\in\mathbb{N}, \exists\, k\in\mathbb{N}\, :\, ka\leq b\)
\(\exists\, k\in\mathbb{N},\, \forall a\in\mathbb{N},\, \forall b\in\mathbb{N}\, :\, ka\geq b\)
\(\forall a\in\mathbb{N},\, \forall b\in\mathbb{N}, \exists\, k\in\mathbb{N}\, :\, ka\geq b\)
\(\forall a\in\mathbb{N},\, \exists\, b\in\mathbb{N}\, :\, a\geq b\)
La traduction mathématique de la proposition "Il y a des entiers qui ne sont pas naturels" est
\(\exists\, x\in\mathbb{N}\, :\, x\not\in\mathbb{Z}\)
\(\mathbb{N}\setminus\mathbb{Z}\neq\emptyset\)
\(\mathbb{N}\cap\mathbb{Z}=\emptyset\)
\(\mathbb{Z}\setminus\mathbb{N}\neq\emptyset\)
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 ?
Vrai
Faux
Je ne sais pas
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. "Il faut que 2+2=9 pour que 5 = 5."
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\)" ?
Pour quelles valeurs de vérité de P et Q la proposition "\(\neg P\Rightarrow(P\wedge Q)\)" est-elle vraie ?
toujours vraie
P fausse et Q vraie
P vraie
P fausse et Q fausse
La traduction mathématique de la proposition "Tous les éléments de l'ensemble A sont des réels positifs'' est
\(\forall x\in\mathbb{R}^+\,:\, x\in A\)
\(A\subset\mathbb{R}^+\)
\(\mathbb{R}^+\subset A\)
\(A\in\mathbb{R}^+\)
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 : "\(\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
f est continue si et seulement si f est dérivable
Si f est dérivable alors f n'est pas continue
Si f est continue alors f est dérivable
Si f n'est pas continue alors f n'est pas dérivable