Mathématiques du secondaire qualifiant

Notions de logique (1)

Exercice 1 tp

Déterminer la négation de chacune des propositions suivantes

1) (∀x∈IR): x+1=10 2) (∃x∈IR): x+1=10
3) (∀x∈IR): x > 0 4) (∃x∈IR): x≤2
Exercice 2 tp

Ecrire les propostions suivantes en utilisant les quantificateurs.
1) Tout entier relatif admet un opposé.
2) La partie entière d'un réel est un entier relatif.

Exercice 3 tp

Déterminer la négation de chacune des propositions suivantes.
1) (∀x∈IR)(∃n∈IN) / n>x.
2) (∀x∈IR)(∃n∈ℤ) / n≤ x<n+1.
3) ∀(x;y)∈E²: f(x)=f(y) ⇒ x=y .
4) ∀(x;y)∈IR²:
√(x²+1) + √(y²+1)=2 ⇔ (x=0) ∧ (y=0).

Exercice 4 tp

Résoudre le système suivant

{ x²-4=0
y=3
Correction

((x²-4=0)∧ y=3) ⇔([(x-2)(x+2)=0]∧y=3)
⇔ [(x=2∨x=-2)]∧y=3
⇔(x=2∧y=3)∨(x=-2∧y=3)
donc S={(2;3) ; (-2;3)}.

Exercice 5 tp

Résoudre le système suivant

{ x²-4=0
(y-1)(y+3)=0