Vous êtes sur la page 1sur 1

Université Ibn Khaldoun – Tiaret Département de l’Informatique

Faculté des Mathématiques et de l’Informatique Module : Algèbre 01 (𝟏è#$ Année LMD 2020-2021)

Fiche de TD 𝒏𝟎 01

EXERCICE 01 :

Les propositions suivantes sont-elles vraies ?


𝑃( : ( 5 − 2 = 7 ∧ (1 + 3 ≤ 0)) ∨ (5×6 = 11) 𝑃; : ( 5 − 2 = 7 ⟹ (1 + 3 ≤ 0)) ∧ ( 2 = 1.41)
𝑃? : ( 5 − 2 = 7 ⟹ (2@ > 16)) ⟹ (5×6 = 11) 𝑃@ : ( 5 − 2 = 7 ⟺ (2@ < 16)) ⟹ (4 𝑑𝑖𝑣𝑖𝑠𝑒 20)
;
𝑃I : 0 𝑑𝑖𝑣𝑖𝑠𝑒 6 ∨ 2@ < 16 ⟺ = 0.66
?

Ecrire les négations de ces propositions.

EXERCICE 02:

Soient 𝑃, 𝑄 et 𝑅 des propositions. Montrer qu’on a les équivalences suivantes :


1) 𝑃 ∧ 𝑄 ⟺ (𝑃 ∨ 𝑄) 2) (𝑃 ⟹ 𝑄) ⟺ (𝑃 ∨ 𝑄)
3) ((𝑃 ∧ 𝑄) ∨ 𝑅) ⟺ ( 𝑃 ∨ 𝑅 ∧ 𝑄 ∨ 𝑅 ) 4) (𝑃 ⟹ 𝑄) ⟺ (𝑄 ⟹ 𝑃)

EXERCICE 03 :

Ecrire les négations des énoncés suivants et dire s’ils sont vrais ou faux
𝑃( : ∃𝑥 ∈ ℝT , 𝑥 ? − 3 3 = 0 𝑄( : ∀𝑥 ∈ ℝ, ∀𝑦 ∈ ℝ, 𝑥 ; + 𝑦 ; ≥ 0
(
𝑃; : ∀𝑞 ∈ ℚ, 𝑞 + ∉ ℤ 𝑄; : ∃𝑛 ∈ ℕ, ∃𝑥 ∈ ℝ, 𝑥 W = 0
I
𝑃? : ∀𝑛 ∈ ℕ, 𝑛 ≥ 2 ∨ 2 𝑑𝑖𝑣𝑖𝑠𝑒 𝑛 𝑄? : ∃𝑛 ∈ ℕ, ∀𝑥 ∈ ℝ, 𝑥 ≤ 𝑛
𝑃@ : ∃𝑎 ∈ ℤ, ( 𝑎 𝑒𝑠𝑡 𝑖𝑚𝑝𝑎𝑖𝑟 ∧ 𝑎 < 0 ) 𝑄@ : ∀𝑥 ∈ ℝ, ∃𝑛 ∈ ℕ, 𝑥 ≤ 𝑛

EXERCICE 04 :

aW(;)
1) Montrer, par l’absurde, que est un nombre irrationnel.
aW(?)
2) Soient 𝑎 et 𝑏 deux nombre réels. Montrer par contraposée que: (𝑎 ≠ −1 𝑒𝑡 𝑏 ≠ −1) ⟹ (𝑎 + 𝑏 + 𝑎𝑏 ≠ −1) )
3) Soit 𝑛 ∈ ℕ. Montrer par disjonction des cas que 𝑛 𝑛 + 1 𝑛 + 2 est un multiple de 3.

EXERCICE 05 (supplémentaire):

Soient 𝐼 un intervalle de ℝ et 𝑓: 𝐼 ⟶ ℝ une fonction définie sur 𝐼 à valeurs réelles.


Exprimer à l’aide de quantificateurs les propositions suivantes :
1) 𝑓 s’annule 2) 𝑓 est la fonction nulle
3) 𝑓 n’est pas une fonction constante 4) 𝑓 ne prend jamais deux fois la même valeur
5) 𝑓 est positive 6) 𝑓 est bornée

Vous aimerez peut-être aussi