0% ont trouvé ce document utile (0 vote)
232 vues2 pages

01.TD Logique

Cet exercice contient plusieurs questions sur la logique et les ensembles. Il demande de traduire des assertions en langage naturel, d'écrire leur négation, et d'exprimer des propositions avec des quantificateurs universels et existentiels. Il contient également des démonstrations sur les nombres réels, les fonctions, les relations d'équivalence et d'ordre.

Transféré par

Hyacinthe Compaoré
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
232 vues2 pages

01.TD Logique

Cet exercice contient plusieurs questions sur la logique et les ensembles. Il demande de traduire des assertions en langage naturel, d'écrire leur négation, et d'exprimer des propositions avec des quantificateurs universels et existentiels. Il contient également des démonstrations sur les nombres réels, les fonctions, les relations d'équivalence et d'ordre.

Transféré par

Hyacinthe Compaoré
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

1

Université Ouaga1 Pr Joseph Ki-Zerbo


L1 S1 -PSIA
TD Logique et ensembles

Exercice 0.1.

1. Écrire la négation de chacune de ces assertions : ¬P ∧Q, ¬P ∨Q, P ∨(Q∧R), P ∧(Q∨R),


P ⇒ ¬Q, P ⇔ Q, ¬P ∨ Q ⇒ R, P ∧ Q ⇒ ¬R, (¬P ∧ Q ⇒ R) et (¬P ∨ Q ⇒ ¬R).
2. Traduire chacune de ces assertions, ainsi que sa négation, en langage courant où P
correspond à  j'écris , Q à  je pense  et R à  je chante .

Exercice 0.2.

1. Écrire la négation de (P et (Q ou R)).


2. Écrire à l'aide des quanticateurs la phrase suivante : Pour tout nombre réel, son
carré est positif. Puis écrire la négation.
3. Mêmes questions avec la phrase : Pour chaque réel, je peux trouver un entier relatif
tel que leur produit soit strictement plus grand que 1.
4. Mêmes questions avec la phrase : Pour tout entier n, il existe un unique réel x tel que
exp(x) égale n.

Exercice 0.3. Ecrire avec des quanticateurs les propositions suivantes :


1. f est la fonction nulle (où f est une fonction de R dans R).
2. Le dénominateur D de f s'annule au moins une fois sur R.
3. f est l'identité de R (c'est-à-dire la fonction qui, à chaque réel, associe lui-même).
4. Le graphe de f coupe la droite d'équation y = x.
5. f est croissante sur R (où f est une fonction de R dans R)).
6. Faire de même avec les négations de ces propositions.

Exercice 0.4.

1. Soient a, b ∈ R+ . Montrer que si a ≤ b alors a ≤ a+b
2
≤ b et a ≤ ab ≤ b.
2. Démontrer que la somme d'un rationnel et d'un irrationnel est irrationnelle.

3. Soit n ∈ N? . Montrer que n2 + 1 n'est pas un entier.
4. Est-ce que pour tout x ∈ R, on a x <⇒ x2 < 4?
5. Montrer que pour tout n ≥ 1, 1 + 2 + · · · + n = n(n+1)
2
.
6. Fixons un réel x ≥ 0. Montrer que pour tout entier n ≥ 1, (1 + x)n ≥ 1 + nx.
n
7. Démontrez par récurrence que : (2i − 1)2 = 13 n(4n2 − 1).
P
i=1

Exercice 0.5.

1. Soit E un ensemble. Caractérisez les parties A, B, C de E telles que : A ∪ (B ∩ C) =


(A ∪ B) ∩ C.
2. Soit E un ensemble et A, B, C trois parties de E telles que : A ∪ B ⊂ A ∪ C et
A ∩ B ⊂ A ∩ C. Comparez B et C.
2

Exercice 0.6.

1. Soient f, g, h trois applications de l'ensemble E dans lui-même. Montrez que : g ◦ f et


h ◦ g bijectives ⇒ f, g, h bijectives
2. Soit f l'application de R2 dans R2 dénie par f (x, y) = (X, Y ) avec : X = x + y et
Y = 2x + y 3 . f est-elle surjective ? injective ?
3. Soit f une application de E dans E . Montrez que :

f injective ⇔ [∀X, Y ⊂ E, f (X ∩ Y ) = f (X) ∩ f (Y )] .

Exercice 0.7.

1. Dans ]0, +∞[, montrez que la relation R dénie par : xRy ⇔ xlny = ylnx, est une
relation d'équivalence. Pour chaque x, précisez le nombre d'éléments de sa classe d'équi-
valence.
2. Dans N × N, on dénit la relation ≺ par : ∀(a, b) ∈ N2 ∀(a0 , b0 ) ∈ N2 (a, b) ≺ (a0 , b0 ) ⇔
a ≤ a0 et b ≤ b0 .
a. Montrez qu'il s'agit d'une relation d'ordre.
b. Cet ordre est-il total ?
c. Soit A = {(1, 2), (2, 3), (3, 1), (3, 2), (3, 4), (4, 3), (4, 4), (5, 5)}. Déterminez des mi-
norants de A, des majorants de A. A admet-elle un plus grand élément ? un plus
petit élément ? une borne supérieure ? une borne inférieure ?

Vous aimerez peut-être aussi