Vous êtes sur la page 1sur 1

Lycée IBNO EL HAYTAM OUJDA Résumé de cour : Notion de logique 1 Bac sciences Prof : Fayssal

Négation d’une propositions : 𝑷 ̅ Quantificateur : ∀ ; ∃ 4) Raisonnement par l’absurde


➢ La négation de la proposition P est la ➢ Le quantificateur pour tout ou quel que Pour montrer que la proposition 𝑷 est vraie
proposition noté 𝑷 ̅ ou non P et qui est vraie ̅ est vraie et on montre que
soit est noté par : ∀ . On suppose que 𝑷
si P est fausse et fausse si P est vraie ̅)
La proposition (∀𝐱 ∈ 𝐄); 𝐩(𝐱) est vraie lorsque , cela entraine une proposition fausse (𝑸 et 𝑸
Conjonction :(𝑷 𝒆𝒕 𝑸) ; disjonction : (𝑷 𝒐𝒖 𝑸) pour tout 𝐱 ∈ 𝐄 on a : 𝐩(𝐱) est vraie (contradiction) donc on conclut que 𝑷 est vraie
➢ la proposition (𝑷 𝒆𝒕 𝑸) est vraie ssi P et Q sont
toutes les deux sont vraies ➢ Le quantificateur il existe au moins un est
5) Raisonnement par Equivalence
➢ la proposition (𝑷 𝒐𝒖 𝑸) est fausse SSI les deux noté par : ∃
On établit l’équivalence𝑷 ⇔ 𝐐 à l’aide d’une
propositions P et Q sont fausses la proposition (∃𝐱 ∈ 𝐄); 𝐩(𝐱) est vraie lorsqu’il
existe au moins un 𝐱 ∈ 𝐄 tel que 𝐩(𝐱) soit vraie chaine d’équivalences successives
P Q P et Q P ou Q
6) Raisonnement par récurrence
V V V V ➢ Le quantificateur il existe un unique est
noté par : ∃! Soit 𝒏 ∈ ℕ ; pour montrer que la proposition
V F F V
la proposition ∃! 𝐱 ∈ 𝐄; 𝐩(𝐱) est vraie (∀𝒏 ≥ 𝒏𝟎 ); 𝒑(𝒏) est vraie , on montre que :
F V F V lorsqu’il existe un seul 𝐱 ∈ 𝐄 tel que 𝐩(𝐱)
F F F F soit vraie • 𝒑(𝒏𝟎 ) est vraie
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
• (∀𝒙 ̅̅̅̅̅̅
∈ 𝑬); 𝒑(𝒙) est : (∃𝒙 ∈ 𝑬); 𝒑(𝒙) • (∀𝒏 ≥ 𝒏𝟎 ); [𝒑(𝒏) ⇒ 𝒑(𝒏 + 𝟏)] est vraie
̅ 𝐨𝐮 𝐐
➢ la négation de (𝐏 𝐞𝐭 𝐐) est : (𝐏 ̅)
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
• (∃𝒙 ̅̅̅̅̅̅
∈ 𝑬); 𝒑(𝒙) est : (∀𝒙 ∈ 𝑬); 𝒑(𝒙)
➢ la négation de (𝐏 𝐨𝐮 𝐐) est : (𝐏̅ 𝐞𝐭 𝐐
̅) Pratiquement :on suit les trois étapes suivantes
1) Raisonnement par contre-exemple
Implication:( 𝑷 ⇒ 𝑸) ; Equivalence:(𝑷 ⇔ 𝐐) Pour montrer que la proposition ➢ Initialisation : Pour 𝒏 = 𝒏𝟎 , on vérifie que
➢ L’implication de P et Q est la proposition
̅ ou Q) ; noté par 𝑷 ⇒ 𝑸 (∀𝒙 ∈ 𝑬); 𝒑(𝒙) est fausse , il suffit de montrer la proposition 𝒑(𝒏𝟎 ) est vraie
(𝑷 ̅̅̅̅̅̅
➢ l’équivalence de deux propositions P et Q est la que sa négation (∃𝒙 ∈ 𝑬); 𝒑 (𝒙) est vraie ➢ Hérédité : fixons un 𝒏 ≥ 𝒏𝟎
proposition ( 𝑷 ⇒ 𝑸 et 𝑸 ⇒ 𝑷 ) qu’on note 2) Raisonnement par contraposition Supposons que 𝒑(𝒏) est vraie
par : 𝑷 ⇔ 𝑸 et qui est vraie ssi P et Q ont la Pour montrer que la proposition 𝑷 ⇒ 𝑸 est et montrons que 𝒑(𝒏 + 𝟏) est vraie
même valeur de vérité ̅ ⇒𝑷
vraie on montre que la proposition 𝑸 ̅ est
➢ Conclusion : d’après le principe de
P Q 𝑷⇒ 𝑸 𝑷 ⇔ 𝑸 vraie
récurrence en conclut que :
V V V V Pratiquement : on suppose que 𝑸̅ est vraie et
(∀𝒏 ≥ 𝒏𝟎 ); 𝒑(𝒏) est vraie
̅ est vraie
on montre que 𝑷
V F F F
3) Raisonnement par disjonction des cas
F V V F
Pour montrer que la proposition
F F V V
(∀𝒙 ∈ 𝑬); 𝒑(𝒙) est vraie on montre que 𝒑(𝒙)
➢ la négation de (𝑷 ⇒ 𝑸) est (𝑷 𝐞𝐭 𝑸)̅ est vraie pour un partie A de E puis on
➢ Pour montrer que la proposition 𝑷 ⇒ 𝑸 est montre que 𝒑(𝒙) est vraie pour les x
vraie on suppose que P est vraie et on montre n’appartenant pas à A
que Q est vraie

Vous aimerez peut-être aussi