Premier bac sciences

expérimentales

Résumé de cours : Notions de logique

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