Algèbre I : rebond
Enoncés mathématiques
Département de Mathématiques
Institut Galilée, Université Sorbonne Paris Nord
1/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3.
2/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3. fonction propositionnelle
2/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3. fonction propositionnelle
∃x ∈ N, x est divisible par 3.
2 y − z2
2/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3. fonction propositionnelle
∃x ∈ N, x est divisible par 3.
2 y − z 2 fonction descriptive
3 y = z2
2/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3. fonction propositionnelle
∃x ∈ N, x est divisible par 3.
2 y − z 2 fonction descriptive
3 y = z 2 fonction propositionnelle
2/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3. fonction propositionnelle
∃x ∈ N, x est divisible par 3.
2 y − z 2 fonction descriptive
3 y = z 2 fonction propositionnelle
∀z ∈ N, ∃y ∈ N, y = z 2 .
2 On note f(x) : "x est une fleur", r(x) : "x est une rose" et
c(x) : "x est un coquelicot".
Exprimer formellement : Les roses et les coquelicots sont
des fleurs.
2/1
S. R. Schwer Algèbre I : rebond
rappel : fonctions propositionnelles et fonctions descriptives
1 Donner le type des fonctions suivantes à variable dans N,
et s’il s’agit d’une fonction propositionnelle, donner une
proposition quantifiée vraie correspondante.
1 x est divisible par 3. fonction propositionnelle
∃x ∈ N, x est divisible par 3.
2 y − z 2 fonction descriptive
3 y = z 2 fonction propositionnelle
∀z ∈ N, ∃y ∈ N, y = z 2 .
2 On note f(x) : "x est une fleur", r(x) : "x est une rose" et
c(x) : "x est un coquelicot".
Exprimer formellement : Les roses et les coquelicots sont
des fleurs. ∀x, (r (x) ∨ c(x)) =⇒ f (x).
2/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : définition
définition
Enoncé dont le but est, à partir d’objets mathématiques déjà
connus, de spécifier, en en donnant une description, un
nouveau type d’objet.
Une définition est une fonction descriptive "un truc est . . . ", qui
crée la fonction propositionnelle "être un truc".
exemple : Intervalles réels fermés.
acquis L’ensemble des nombres réels R, la relation
d’ordre totale ≤.
définition Soit a, b ∈ R tels que a ≤ b, l’ensemble
{x ∈ R, (a ≤ x) ∧ (x ≤ b)} est appelé intervalle
fermé et est noté [a,b].
proposition " est un intervalle fermé de R"
{x ∈ R, (2 ≤ x) ∧ (x ≤ 5)} ?
3/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : définition
définition
Enoncé dont le but est, à partir d’objets mathématiques déjà
connus, de spécifier, en en donnant une description, un
nouveau type d’objet.
Une définition est une fonction descriptive "un truc est . . . ", qui
crée la fonction propositionnelle "être un truc".
exemple : Intervalles réels fermés.
acquis L’ensemble des nombres réels R, la relation
d’ordre totale ≤.
définition Soit a, b ∈ R tels que a ≤ b, l’ensemble
{x ∈ R, (a ≤ x) ∧ (x ≤ b)} est appelé intervalle
fermé et est noté [a,b].
proposition " est un intervalle fermé de R"
{x ∈ R, (2 ≤ x) ∧ (x ≤ 5)} ? Oui [2,5]
{x ∈ R, (2 ≤ x) ∨ (x ≤ 5)} ?
3/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : définition
définition
Enoncé dont le but est, à partir d’objets mathématiques déjà
connus, de spécifier, en en donnant une description, un
nouveau type d’objet.
Une définition est une fonction descriptive "un truc est . . . ", qui
crée la fonction propositionnelle "être un truc".
exemple : Intervalles réels fermés.
acquis L’ensemble des nombres réels R, la relation
d’ordre totale ≤.
définition Soit a, b ∈ R tels que a ≤ b, l’ensemble
{x ∈ R, (a ≤ x) ∧ (x ≤ b)} est appelé intervalle
fermé et est noté [a,b].
proposition " est un intervalle fermé de R"
{x ∈ R, (2 ≤ x) ∧ (x ≤ 5)} ? Oui [2,5]
{x ∈ R, (2 ≤ x) ∨ (x ≤ 5)} ? Non, [2, ∞[
{2, 5} ? 3/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : définition
définition
Enoncé dont le but est, à partir d’objets mathématiques déjà
connus, de spécifier, en en donnant une description, un
nouveau type d’objet.
Une définition est une fonction descriptive "un truc est . . . ", qui
crée la fonction propositionnelle "être un truc".
exemple : Intervalles réels fermés.
acquis L’ensemble des nombres réels R, la relation
d’ordre totale ≤.
définition Soit a, b ∈ R tels que a ≤ b, l’ensemble
{x ∈ R, (a ≤ x) ∧ (x ≤ b)} est appelé intervalle
fermé et est noté [a,b].
proposition " est un intervalle fermé de R"
{x ∈ R, (2 ≤ x) ∧ (x ≤ 5)} ? Oui [2,5]
{x ∈ R, (2 ≤ x) ∨ (x ≤ 5)} ? Non, [2, ∞[
{2, 5} ? Non, 2 ≤ 3 ≤ 5 mais (3 6∈ {2, 5}) ; {2} ? 3/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : définition
définition
Enoncé dont le but est, à partir d’objets mathématiques déjà
connus, de spécifier, en en donnant une description, un
nouveau type d’objet.
Une définition est une fonction descriptive "un truc est . . . ", qui
crée la fonction propositionnelle "être un truc".
exemple : Intervalles réels fermés.
acquis L’ensemble des nombres réels R, la relation
d’ordre totale ≤.
définition Soit a, b ∈ R tels que a ≤ b, l’ensemble
{x ∈ R, (a ≤ x) ∧ (x ≤ b)} est appelé intervalle
fermé et est noté [a,b].
proposition " est un intervalle fermé de R"
{x ∈ R, (2 ≤ x) ∧ (x ≤ 5)} ? Oui [2,5]
{x ∈ R, (2 ≤ x) ∨ (x ≤ 5)} ? Non, [2, ∞[
{2, 5} ? Non, 2 ≤ 3 ≤ 5 mais (3 6∈ {2, 5}) ; {2} ? Oui, [2, 2] 3/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : bien lire la définition
Nombres premiers acquis Les nombres entiers, notion
de diviseur.
définition 1 Un nombre premier est un entier
naturel divisible que par 1 et
lui-même.
définition 2 Un nombre premier est un entier
naturel qui possède exactement deux
diviseurs. 12 ?
4/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : bien lire la définition
Nombres premiers acquis Les nombres entiers, notion
de diviseur.
définition 1 Un nombre premier est un entier
naturel divisible que par 1 et
lui-même.
définition 2 Un nombre premier est un entier
naturel qui possède exactement deux
diviseurs. 12 ? n’est pas premier au
sens des deux définitions, 13 ?
4/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : bien lire la définition
Nombres premiers acquis Les nombres entiers, notion
de diviseur.
définition 1 Un nombre premier est un entier
naturel divisible que par 1 et
lui-même.
définition 2 Un nombre premier est un entier
naturel qui possède exactement deux
diviseurs. 12 ? n’est pas premier au
sens des deux définitions, 13 ? est
premier au sens des deux définitions,
0?
4/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : bien lire la définition
Nombres premiers acquis Les nombres entiers, notion
de diviseur.
définition 1 Un nombre premier est un entier
naturel divisible que par 1 et
lui-même.
définition 2 Un nombre premier est un entier
naturel qui possède exactement deux
diviseurs. 12 ? n’est pas premier au
sens des deux définitions, 13 ? est
premier au sens des deux définitions,
0 ? est premier au sens des deux
définitions 1 ?
4/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques : bien lire la définition
Nombres premiers acquis Les nombres entiers, notion
de diviseur.
définition 1 Un nombre premier est un entier
naturel divisible que par 1 et
lui-même.
définition 2 Un nombre premier est un entier
naturel qui possède exactement deux
diviseurs. 12 ? n’est pas premier au
sens des deux définitions, 13 ? est
premier au sens des deux définitions,
0 ? est premier au sens des deux
définitions 1 ? est premier au sens de
la définition 1, pas au sens de la
définition 2
1 n’est considéré comme un nombre entier qu’à
partir du XVIe siècle, alors que les grecs avaient
déjà défini les nombres premiers.
4/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques
Enoncé mathématique
proposition logique portant sur des objets mathématiques
préalablement donnés ou définis.
D’aprè sla loi du tiers exclus, il est vrai ou faux.
∀n ∈ N, n + 2 est pair.
5/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques
Enoncé mathématique
proposition logique portant sur des objets mathématiques
préalablement donnés ou définis.
D’aprè sla loi du tiers exclus, il est vrai ou faux.
∀n ∈ N, n + 2 est pair. Enoncé faux,
∃n ∈ N, n + 2 est pair.
5/1
S. R. Schwer Algèbre I : rebond
Enoncés mathématiques
Enoncé mathématique
proposition logique portant sur des objets mathématiques
préalablement donnés ou définis.
D’aprè sla loi du tiers exclus, il est vrai ou faux.
∀n ∈ N, n + 2 est pair. Enoncé faux,
∃n ∈ N, n + 2 est pair. Enoncé vrai
théorème, proposition, corolaire, lemme
proposition logique vraie portant sur des objets mathématiques
préalablement donnés ou définis.
Ces énoncés sont soit admis soit il faut les démontrer.
1 2 est un nombre premier.
2 ∀n ∈ N, n > 1 =⇒ 2n n’est pas premier.
preuve :Si n ≤ 1 alors l’implication est vraie car le membre
gauche est faux, Si n > 1, 2n est divisible par 1, 2 et 2n
tous les 3 différents, donc son membre droit est vrai 5/1
S. R. Schwer Algèbre I : rebond
