Auto-Math
La traduction mathématique de la proposition "Tout nombre réel est majoré par un entier" est
\(\forall x\in\mathbb{R},\, \exists\, n\in\mathbb{Z}\, :\, n\geq x\)
\(\forall x\in\mathbb{R},\, \forall n\in\mathbb{Z}\, :\, n\geq x\)
\(\forall x\in\mathbb{R},\, \exists\, n\in\mathbb{Z}\, :\, x\geq n\)
\(\exists\, n\in\mathbb{Z},\,\forall x\in\mathbb{R}\, :\, n\geq x\)
Ajoutez un connecteur pour que la proposition "Ce naturel non nul est pair ..... impair'' soit vraie.
et
ou
pour tout
si et seulement si
La traduction en français de la proposition "\(\forall x,\forall A,\forall B\, :\, x\in (A\cap B)\Rightarrow x\in (A\cup B)\)" est
Il y a un élément de l'intersection de deux ensembles qui est aussi dans l'union de ces ensembles.
Si l'intersection de deux ensembles contient un élément alors l'union de ces ensembles contient aussi un élément.
L'union de deux ensembles est contenue dans leur intersection.
L'intersection de deux ensembles est contenue dans leur union.
La proposition "\(((P\Rightarrow Q)\wedge (\neg P\Rightarrow Q))\Rightarrow Q\)" est une tautologie
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 est faux que (si Paris est en Angleterre alors Londres est en France).''
Ajoutez un connecteur pour que la proposition "Ces deux droites sont sécantes ..... parallèles'' soit vraie.
implique
La proposition "\(\exists\, v\in\mathbb{Z}\, :\, v+5=\frac{9}{4}\)" est-elle vraie ou fausse ?
La négation de la proposition "\(x\geq 5\)" est
\(x\leq 4 \)
\(x\leq 5\)
\(x>5\)
\(x<5\)
Soit \(A=\{2,3,4,5,6,7,8,9\}\) et \(B=\{1,2,3\}\). La proposition suivante est-elle vraie ou fausse : \("\forall x\in A\, :\, x+5<12"\)?
"\( P \Rightarrow Q\)" est équivalente à
\(\neg P \Rightarrow\neg Q\)
\(Q\Rightarrow P\)
\(\neg Q\Rightarrow\neg P\)
\(Q \Rightarrow\neg P\)
