Auto-Math
La proposition "\(\neg (P\wedge Q)\Leftrightarrow(\neg P\vee\neg Q)\)'' est une tautologie.
Vrai
Faux
Je ne sais pas
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\)
"\( P \Rightarrow Q\)" est équivalente à
\(\neg P \Rightarrow\neg Q\)
\(Q\Rightarrow P\)
\(\neg Q\Rightarrow\neg P\)
\(Q \Rightarrow\neg P\)
La négation de la proposition "\(x\in\mathbb{Z}\)" est
\(x\subset\mathbb{Z}\)
\(x\in\mathbb{N}\)
\(x\not\in\mathbb{Z}\)
\(x\in\mathbb{R}\)
La proposition "\(((P\Rightarrow Q)\wedge(Q\Rightarrow P))\Leftrightarrow(P\Leftrightarrow Q)\)" est une tautologie.
Soit \(A=\{2,3,4,5,6,7,8,9\}\) et \(B=\{1,2,3\}\). La proposition suivante est-elle vraie ou fausse : \("\exists\, x\in A\, :\, x+7<10"\)?
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.
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).''
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"\)?
Ajoutez un connecteur pour que la proposition "Ce naturel non nul est pair ..... impair'' soit vraie.
et
ou
pour tout
si et seulement si
