Auto-Math
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. "2 + 2 = 5 si et seulement si 4 + 4 = 10."
Vrai
Faux
Je ne sais pas
La proposition "\(\exists\, v\in\mathbb{Z}\, :\, v+5=\frac{9}{4}\)" est-elle vraie ou fausse ?
La proposition "\(\neg (P\wedge Q)\Leftrightarrow(\neg P\vee\neg Q)\)'' est une tautologie.
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).''
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\)
La contraposée de "\(x\in\mathbb{N}\Rightarrow x\in\mathbb{R}\)" est
\(x\not\in\mathbb{R}\Rightarrow x\in\mathbb{N}\)
\(x\in\mathbb{R}\Rightarrow x\in\mathbb{N}\)
\(x\not\in\mathbb{R}\Rightarrow x\not\in\mathbb{N}\)
\(x\in\mathbb{N}\Rightarrow x\not\in\mathbb{R}\)
La proposition "\(\forall a\in\mathbb{N},\, \forall b\in\mathbb{N}\, :\, a-b\in\mathbb{N}\)" est-elle vraie ou fausse ?
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. "2 + 2 = 4 et janvier est un mois.''
La traduction mathématique de la proposition "Tout nombre réel admet une racine carrée complexe" est
\(\forall x\in\mathbb{R},\, \exists\, y\in\mathbb{C}\, :\, x^2=y\)
\(\forall x\in\mathbb{R},\, \exists\, y\in\mathbb{C}\, :\, x=y^2\)
\(\exists\, y\in\mathbb{C},\, \forall x\in\mathbb{R}\, :\, x=y^2\)
\(\forall x\in\mathbb{R}\, :\, x=c^2\)
La traduction mathématique de la proposition "Tout nombre naturel est un entier" est
\(\mathbb{Z}\subset\mathbb{N}\)
\(\forall x\in\mathbb{Z}\, :\, x\in\mathbb{N}\)
\(\mathbb{N}\subset\mathbb{Z}\)
\(\forall x\, :\, \mathbb{N}\cap\mathbb{Z}=\{x\}\)
