Bibm@th.

net
Accueil

Bibliothèque d'exercices
Lycée Supérieur

Bibliothèque de problèmes
Bibliothèques Références

Automatismes
Thèmes Forum
Rechercher sur le site...
Mon compte

D
Ressources mathématiques > Base de données d'exercices > Exercices de logique et de théorie des ensembles >
Accéder à mon compte > Accéder à ma feuille d'exercices > Montrer que des lois appa …
grand oral
Grand oral de maths sur l …
Exercices corrigés - Bases de la logique - Probabilité JCC Pokémon
Analyse Math
propositions - quantificateurs Différence entre $\mathbb …
inégalité de Cauchy-Schwarz
Inégalité : Carré d'une s …
Opérateurs logiques et tables de vérité Niveau réel des têtes de …
Intégrales de riemann
Exercice 1 - Les cartes [Signaler une erreur] [Ajouter à ma feuille d'exos] Un set de formules à prouver
Cosinus complexe
Enoncé Analyse complexe
Espace vectoriel
Quatre cartes comportant un chiffre sur une face et une couleur sur l'autre sont disposées à plat
Sous-groupe distingué
sur une table. Une seule face de chaque carte est visible. Les faces visibles sont les suivantes: 5,
8, bleu, vert. Quelle(s) carte(s) devez-vous retourner pour déterminer la véracité de la règle Accéder aux forums
suivante : si une carte a un chiffre pair sur une face, alors elle est bleue sur l'autre face. Il ne faut
pas retourner de carte inutilement, ni oublier d'en retourner une.

Indication Confidentialité
Corrigé M
Exercice 2 - Autour de l'implication [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Trouver des propositions P et Q telles que

1. P ⟹ Q est vrai et Q ⟹ P est vrai.

2. P ⟹ Q est faux et Q ⟹ P est vrai.
3. P ⟹ Q est faux et Q ⟹ P est faux.

Indication
Corrigé

Exercice 3 - Distributivité [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit A , B et
trois propositions. Démontrer que les propositions
C A ET (B OU C) et
(A ET B) OU (A ET C) sont équivalentes.
Pierre Bonnet (1819-1892)
Indication
Toutes les biographies
Corrigé

Exercice 4 - Opérateur logique universel [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
On dit d'un opérateur logique qu'il est universel s'il permet de reconstituer tous les autres
opérateurs logiques. En pratique, il suffit de vérifier que l'on peut reconstituer les trois opérateurs
logiques NON, OU et ET pour montrer qu'un opérateur est universel. Démontrer que les deux
opérateurs suivants sont universels :

1. l'opérateur NAND , défini par A NAND B = NON(A ET B);

2. l'opérateur NOR, défini par A NOR B = NON(A OU B).

Indication
Corrigé

Exercice 5 - Négation de l'implication [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit P et Q deux propositions. Montrer que les propositions NON(P ⟹ Q) et P ET NON Q sont
équivalentes.

Indication
Corrigé

Exercice 6 - Forme normale conjonctive et disjonctive [Signaler une erreur] [Ajouter à ma

feuille d'exos]

Enoncé
Écrire sous forme normale conjonctive et sous forme normale disjonctive les propositions ci-
dessous :

1. (¬p ∧ q) ⟹ r;
2. ¬(p ∨ ¬q) ∧ (s ⟹ t) ;
3. ¬(p ∧ q) ∧ (p ∨ q);

Indication
Corrigé

Exercice 7 - La pluie et le parapluie [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
"S'il pleut, Abel prend un parapluie. Béatrice ne prend jamais de parapluie s'il ne pleut pas et en
prend toujours un quand il pleut". Que peut-on déduire de ces affirmations dans les différentes
situations ci-dessous? Justifier soigneusement vos réponses en introduisant 3 propositions
logiques p, q et r.

1. Abel se promène avec un parapluie.

2. Abel se promène sans parapluie.
3. Béatrice se promène avec un parapluie.
4. Béatrice se promène sans parapluie.
5. Il ne pleut pas.
6. Il pleut.

Indication
Corrigé

Conditions nécessaires, conditions suffisantes

Exercice 8 - Nécessaire ou suffisante? [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
On rappelle qu'un entier p divise n, et on note p|n , s'il existe un entier relatif k tel que n = k × p .

1. Est-ce que 6|n est une condition nécessaire à ce que n soit pair?
2. Est-ce que 6|n est une condition suffisante à ce que n soit pair?

Indication
Corrigé

Exercice 9 - Trouver des conditions nécessaires [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Trouver des conditions nécessaires (pas forcément suffisantes) à chacune des propositions
suivantes :

1. Avoir son bac.

2. Le point A appartient au segment [BC].
3. Le quadrilatère ABCD est un rectangle.

Indication
Corrigé

Exercice 10 - Trouver des conditions suffisantes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Trouver des conditions suffisantes (pas forcément nécessaires) à chacune des propositions
suivantes :

1. Avoir son bac.

2. Le point A appartient au segment [BC].
3. Le quadrilatère ABCD est un rectangle.

Indication
Corrigé

Exercice 11 - Condition nécessaire, suffisante, pour avoir un rectangle [Signaler une

erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit la proposition P : "Le quadrilatère ABCD est un rectangle" et les propositions

1. Q1 : "Les diagonales de ABCD ont même longueur"

2. Q2 : "ABCD est un carré"
3. Q3 : "ABCD est un parallélogramme ayant un angle droit"
4. Q4 : "Les diagonales de ABCD sont médiatrices l'une de l'autre"
5. Q5 : "Les diagonales de ABCD ont même milieu".

Dire si chacune des propositions Q , Q , Q , Q , Q est pour P une condition nécessaire non
1 2 3 4 5

suffisante, une condition suffisante non nécessaire, une condition nécessaire et suffisante, ou ni
l'un ni l'autre.

Indication
Corrigé

Exercice 12 - Beaucoup de bruit pour rien... [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Parmi toutes les propositions suivantes, regrouper par paquets celles qui sont équivalentes :

1. Tu auras ton examen si tu travailles régulièrement.

2. Pour avoir son examen, il faut travailler régulièrement.
3. Si tu ne travailles pas régulièrement, tu n'auras pas ton examen.
4. Il est nécessaire de travailler régulièrement pour avoir son examen.
5. Pour avoir son examen, il suffit de travailler régulièrement.
6. Ne pas travailler régulièrement entraîne un échec à l'examen.
7. Si tu n'as pas ton examen, c'est que tu n'as pas travaillé régulièrement.
8. Travail régulier implique réussite à l'examen.
9. On ne peut avoir son examen qu'en travaillant régulièrement

Indication
Corrigé

Exercice 13 - Qui est suffisant à qui??? [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit A, B et C trois propositions. Si on admet que (A ⟹ B) ⟹ C est vrai, qui est, avec
certitude, nécessaire à qui? Qui est suffisant à qui?

Indication
Corrigé

Quantificateurs
Exercice 14 - Vraies ou fausses [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer parmi les propositions suivantes lesquelles sont vraies :

1. 136 est un multiple de 17 et 2 divise 167.

2. 136 est un multiple de 17 ou 2 divise 167.
3. ∃x ∈ R, (x + 1 = 0 et x + 2 = 0).
4. (∃x ∈ R, x + 1 = 0) et (∃x ∈ R, x + 2 = 0).
5. ∀x ∈ R, (x + 1 ≠ 0 ou x + 2 ≠ 0).
6. ∃x ∈ R , ∀y ∈ R , ∀z ∈ R , z − xy = 0;
∗ ∗ ∗

7. ∀y ∈ R , ∃x ∈ R , ∀z ∈ R , z − xy = 0;
∗ ∗ ∗

8. ∀y ∈ R , ∀z ∈ R , ∃x ∈ R , z − xy = 0;
∗ ∗ ∗

9. ∃a ∈ R, ∀ε > 0, |a| < ε;

10. ∀ε > 0, ∃a ∈ R, |a| < ε.

Indication
Corrigé

Exercice 15 - Nier des assertions avec quantificateurs [Signaler une erreur] [Ajouter à ma
feuille d'exos]

Enoncé
Soit f : R → R une fonction. Nier les assertions suivantes :

1. ∀x ∈ R, f (x) ≠ 0.
2. ∀M > 0, ∃A > 0, ∀x ≥ A, f (x) > M .
3. ∀x ∈ R, f (x) > 0 ⟹ x ≤ 0.
4. ∀ε > 0, ∃η > 0, ∀(x, y) ∈ I , (|x − y| ≤ η 2
⟹ |f (x) − f (y)| ≤ ε).

Indication
Corrigé

Exercice 16 - Vraies ou fausses [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit n un entier naturel non nul. On note Cn la courbe d'équation y = (1 + x)
n
et Dn la droite
d'équation y = 1 + nx.

1. Rappeler l'équation de la tangente à C au point A de C d'abscisse 0. n n

2. Tracer (par exemple à l'aide d'un logiciel) C et D lorsque n = 2, 3. n n

3. En vous aidant du graphique pour obtenir une conjecture, démontrer si les propositions
suivantes sont vraies ou fausses.
3.1. ∀n ∈ N , ∀x ∈ R, (1 + x) ≥ 1 + nx;
∗ n

3.2. ∀n ∈ N , ∀x ∈ R , (1 + x) ≥ 1 + nx;
∗
+
n

3.3. ∃n ∈ N , ∀x ∈ R, (1 + x) = 1 + nx;
∗ n

3.4. ∀n ∈ N , ∃x ∈ R, (1 + x) = 1 + nx;
∗ n

3.5. ∃n ∈ N , ∀x ∈ R , (1 + x) > 1 + nx.

∗ ∗ n

Indication
Corrigé

Exercice 17 - Du texte aux quantificateurs [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f : R → R une fonction. Exprimer à l'aide de quantificateurs les assertions suivantes :

1. f est constante;
2. f n'est pas constante;
3. f s'annule;
4. f est périodique.

Indication
Corrigé

Exercice 18 - Du quantificateur au texte [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit f : R → R une fonction. Énoncer en langage courant les assertions suivantes écrites à l'aide
de quantificateurs. Peut-on trouver une fonction qui satisfait cette assertion? Qui ne la satisfait
pas?

1. ∀x ∈ R, ∃y ∈ R, f (x) < f (y);

2. ∀x ∈ R, ∃T ∈ R, f (x) = f (x + T );

3. ∀x ∈ R, ∗
∃T ∈ R , f (x) = f (x + T );

4. ∃x ∈ R, ∀y ∈ R, y = f (x).

Indication
Corrigé

Exercice 19 - Limites de validité d'une proposition [Signaler une erreur] [Ajouter à ma feuille
d'exos]

Enoncé
Déterminer les réels x pour lesquels l'assertion suivante est vraie :

∀y ∈ [0, 1], x ≥ y ⟹ x ≥ 2y.

Indication
Corrigé

Exercice 20 - Une proposition sur les fonctions [Signaler une erreur] [Ajouter à ma feuille
d'exos]

Enoncé
Soit f : R → R une fonction. On considère la proposition p suivante :

p = (∃t ∈ R, ∀x ∈ R, f (x) < t).

1. Écrire la négation de p.
2. Donner un exemple de fonction f qui vérifie p; un exemple qui ne vérifie pas p.
3. Parmi les propositions ci-dessous, déterminer celles qui sont équivalentes à p, celles qui
sont toujours vraies, celles qui sont toujours fausses, et celles pour lesquelles on ne peut
rien dire.
3.1. p = (∃x ∈ R, ∀t ∈ R, f (t) < x);
1

3.2. p = (∃t ∈ R, ∀x ∈ R, f (t) < x);

2

3.3. p = (∀t ∈ R, ∃x ∈ R, f (x) < t);

3

3.4. p = (∀t ∈ R, ∃x ∈ R, f (t) < x).

4

Indication
Corrigé

Signaler une erreur/Nous contacter Mentions Légales Confidentialité