Département d’informatique Prépa-A1 – Algèbre 1 A.

U 2019-2020

Chapitre 1
Structures algébriques
I. Eléments de logique

1. Logique propositionnelle

Dans la logique propositionnelle, on étudie les relations entre des énoncés, que l’on va appeler
propositions ou encore des formules. Ces relations peuvent être exprimées par l’intermédiaire de
connecteurs logiques qui permettent, par composition, de construire des formules syntaxiquement
correctes. On trouve principalement : la conjonction, la disjonction (inclusive), l’implication,
l’équivalence et la négation.

Parmi tous les énoncés possibles qui peuvent être formulés dans une langue, on distingue ceux
auxquels il est possible d’attribuer une « valeur de vérité » : vrai ou faux. Ces énoncés porteront le
nom de propositions (ou assertion ou affirmation).

Dans le langage formel de la logique, ces énoncés seront représentés par des variables (𝑝, 𝑞, 𝑟, etc.).
Remarquons que certaines phrases de la langue courante ne sont pas de propositions, elles ne sont
ni vraies ni fausses :
Sortez immédiatement !
Demain il fera beau.
Ce cours est-il bon ?

On peut appréhender une logique soit sous son aspect syntaxique (ou déductif) soit sous son aspect
sémantique. Dans l’approche syntaxique on s’intéresse à la notion de preuve formelle. A partir
d’axiomes et d’hypothèses on déduit de nouveaux faits en appliquant un ensemble de règles
d’inférence.

Par exemple, la règle dite du modus ponens nous permet de déduire à partir des deux énoncés :
S’il pleut alors il y a des nuages.
Il pleut.
L’énoncé : Il y a des nuages.

Dans l’approche sémantique on s’intéresse à évaluer la vérité ou fausseté de certains énoncés dans
certaines situations, à voir si un énoncé est une conséquence logique d’un autre, à vérifier la
consistance d’un ensemble d’énoncés. Par exemple, est-il possible que les trois énoncés
S’il pleut il y a des nuages
Il y a des nuages
Il ne pleut pas
soient vrais simultanément ?

1.1 Syntaxe des formules logiques

S’intéresser à la syntaxe de la logique propositionnelle, c’est considérer les formules qui sont « bien
écrites » ou « bien formées ». Pour cela, on se donne un alphabet, i.e. un ensemble de symboles.

1
Département d’informatique Prépa-A1 – Algèbre 1 A.U 2019-2020

L'alphabet de la logique des propositions (langage que l'on notera L) est constitué des symboles
suivants :
– un ensemble {𝑝, 𝑞, 𝑟, . . . } dénombrable de lettres appelées variables propositionnelles (ou
symboles propositionnels). Il s’agit des propositions atomiques telles que par exemple « 6 est
divisible par 2 » ;
– les constantes 𝑣𝑟𝑎𝑖 « 𝑉 » et 𝑓𝑎𝑢𝑥 « 𝐹 » ;
– un ensemble (fini) de connecteurs logiques : ∧,∨, ¬, ⟹, ⟺ ;
– les délimiteurs ou parenthèses ( , ).

Remarque 1.1. Il existe d’autres notations pour les connecteurs logiques, la table ci-dessous donne
les correspondances :
⋀ &
⟹ → ou ⊃
⟺ ↔ ou ≡
¬𝑥 ~𝑥 ou 𝑥̅

Remarque 1.2. Dans le langage courant, le mot « ou » est souvent employé de deux façons
distinctes :
– il est parfois utilisé avec le sens « les deux cas peuvent se produire » (le ou inclusif) ;
– parfois avec le sens « 𝑝 ou 𝑞, mais pas les deux » (le ou exclusif). Dans ce cas, il s’agit de l’énoncé
«𝑝 ou exclusif 𝑞 » qui est une nouvelle proposition appelée disjonction exclusive de 𝑝 et de 𝑞 et
notée 𝑝 ⊕ 𝑞.
Sauf indication contraire, le « ou » sera toujours employé avec la première signification.

1.2 Aspects sémantiques

S’intéresser à la sémantique de la logique propositionnelle, c’est déterminer la valeur de vérité d’une

formule. Pour cela, on donne un sens aux atomes, puis on donne un sens à une formule à partir de la
valeur de vérité des atomes qui la composent et des connecteurs qui relient ces atomes et ce, à l’aide
d’une table de vérité.

1.2.1. Table de vérité de la négation

Si 𝑝 est une proposition, on a :
𝑝 ¬𝑝
V F
F V
1.2.2. Table de vérité de la conjonction
Si 𝑝 et 𝑞 sont des propositions, on a :
𝑝 𝑞 𝑝∧𝑞
V V V
V F F
F V F
F F F
On remarque que 𝑝 ∧ 𝑞 est vraie si et seulement si les deux propositions 𝑝 et 𝑞 sont vraies.

2
Département d’informatique Prépa-A1 – Algèbre 1 A.U 2019-2020

1.2.3. Table de vérité de la disjonction

Si 𝑝 et 𝑞 sont des propositions, on a :
𝑝 𝑞 𝑝∨𝑞
V V V
V F V
F V V
F F F
On remarque que 𝑝 ∨ 𝑞 est fausse si et seulement si les deux propositions 𝑝 et 𝑞 sont fausses.
1.2.4. Table de vérité de l’implication logique
Si 𝑝 et 𝑞 sont des propositions, on a :
𝑝 𝑞 𝑝⟹𝑞
V V V
V F F
F V V
F F V
Remarque 1.3. L’implication 𝑝 ⟹ 𝑞 peut être ainsi reformulée :
« 𝑠𝑖 𝑝 𝑎𝑙𝑜𝑟𝑠 𝑞 » ; « 𝑞 𝑠𝑖 𝑝 » ; « 𝑝 𝑒𝑠𝑡 𝑢𝑛𝑒 𝑐𝑜𝑛𝑑𝑖𝑡𝑖𝑜𝑛 𝑠𝑢𝑓𝑓𝑖𝑠𝑎𝑛𝑡𝑒 𝑝𝑜𝑢𝑟 𝑞 » ;
« 𝑞 𝑒𝑠𝑡 𝑢𝑛𝑒 𝑐𝑜𝑛𝑑𝑖𝑡𝑖𝑜𝑛 𝑛é𝑐𝑒𝑠𝑠𝑎𝑖𝑟𝑒 𝑝𝑜𝑢𝑟 𝑝 » ; « 𝑝 𝑠𝑒𝑢𝑙𝑒𝑚𝑒𝑛𝑡 𝑠𝑖 𝑞 ».

1.2.5. Table de vérité de l’équivalence logique

Si 𝑝 et 𝑞 sont des propositions, on a :
𝑝 𝑞 𝑝⟺𝑞
V V V
V F F
F V F
F F V
Remarque 1.4
1. Deux propositions équivalentes ont la même valeur de vérité.
2. Les deux propositions « 𝑝 ⟹ 𝑞 » et « 𝑞 ∨ ¬𝑝 »sont équivalentes.

1.2.6. Lois de de Morgan : Soient 𝑃 et 𝑄 deux propositions.

¬(𝑃 ∧ 𝑄) ⇔ ¬𝑃 ∨ ¬𝑄 𝑒𝑡 ¬(𝑃 ∨ 𝑄) ⇔ ¬𝑃 ∧ ¬𝑄.
(Le contraire de « et » est « ou » et le contraire de « ou » est « et »).

1.3. Négation, contraposée et réciproque d’une implication

1.3.1. Négation d’une implication : Soient 𝑃 et 𝑄 deux propositions.

¬(𝑃 ⇒ 𝑄) ⇔ 𝑃 ∧ ¬𝑄.

Démonstration . D’après les lois de De Morgan, on a : ¬ (𝑃 ⇒ 𝑄) ⇔ ¬(¬ 𝑃 ∨ 𝑄) ⇔ 𝑃 ∧ ¬ 𝑄.

1.3.2. Contraposée d’une implication : Soient 𝑃 et 𝑄 deux propositions.

(𝑃 ⇒ 𝑄) ⇔ (¬𝑄 ⇒ ¬ 𝑃).
Démonstration . La proposition 𝑃 ⇒ 𝑄 est fausse si et seulement si 𝑃 est vraie et 𝑄 est fausse ou
encore si et seulement si ¬𝑄 est vraie et ¬𝑃 est fausse. Ainsi, 𝑃 ⇒ 𝑄 a les mêmes valeurs de vérité
que ¬𝑄 ⇒ ¬ 𝑃.

3
Département d’informatique Prépa-A1 – Algèbre 1 A.U 2019-2020

L’implication ¬𝑄 ⇒ ¬𝑃 s’appelle la contraposée (ou l’implication contraposée) de l’implication

𝑃 ⇒ 𝑄.
La contraposée d’une implication est équivalente à celle-ci. Ceci fournira plus loin un type de
raisonnement usuel : le raisonnement par contraposition.

1.3.3. Réciproque d’une implication : Soient P et Q deux propositions.

L’implication 𝑄 ⇒ 𝑃 s’appelle la réciproque (ou l’implication réciproque) de l’implication 𝑃 ⇒ 𝑄.

2. Les quantificateurs ∀ et ∃

On se donne un ensemble 𝐸 et 𝑃(𝑥) une proposition dont les valeurs de vérité sont fonction des
éléments 𝑥 de 𝐸. Par exemple, considérons la proposition « 𝑥 2 = 1 » dépendant d’un réel 𝑥. On ne
peut pas dire que la phrase 𝑥 2 = 1 est vraie ou fausse tant qu’on ne sait pas ce que vaut 𝑥.
Une telle proposition, dont les valeurs de vérité sont fonction d’une (ou plusieurs) variable(s)
s’appelle un prédicat. Cette proposition est vraie quand 𝑥 = 1 ou quand 𝑥 = −1 et est fausse dans
les autres cas ou encore, la proposition « 𝑥 2 = 1 ⇔ (𝑥 = 1 𝑜𝑢 𝑥 = −1) » est vraie pour tout
choix du réel 𝑥.
De manière générale, la proposition : « Pour tous les éléments 𝑥 de 𝐸, la proposition 𝑃(𝑥) est vraie »
s’écrit en abrégé : « ∀𝑥 ∈ 𝐸, 𝑃(𝑥) ».
La proposition : « il existe au moins un élément 𝑥 de 𝐸 tel que la proposition 𝑃(𝑥) est vraie » s’écrit
en abrégé : « ∃𝑥 ∈ 𝐸/ 𝑃(𝑥) » ou aussi « ∃𝑥 ∈ 𝐸, 𝑃(𝑥) ».

Le quantificateur ∀ est appelé le quantificateur universel et le quantificateur ∃ est appelé le

quantificateur existentiel.

2.1. Propriétés des quantificateurs avec une variable.

Soient 𝐸 un ensemble et 𝑃(𝑥) une proposition dont les valeurs de vérité sont fonction des éléments
𝑥 de 𝐸.
1. La négation de (∀𝑥 ∈ 𝐸, 𝑃(𝑥)) est (∃𝑥 ∈ 𝐸, ¬𝑃(𝑥)).
2. La négation de(∃𝑥 ∈ 𝐸, 𝑃(𝑥)) est (∀𝑥 ∈ 𝐸, ¬𝑃(𝑥)).

2.2. Propriétés des quantificateurs avec deux variables.

Lorsque deux quantificateurs sont de même nature, ils peuvent être permutés.
1. ((∀𝑥 ∈ 𝐸), (∀𝑦 ∈ 𝐸), 𝑃(𝑥, 𝑦)) ⇔ ((∀𝑦 ∈ 𝐸), (∀𝑥 ∈ 𝐸), 𝑃(𝑥, 𝑦)).
2. ((∃𝑥 ∈ 𝐸), (∃𝑦 ∈ 𝐸), 𝑃(𝑥, 𝑦)) ⇔ ((∃𝑦 ∈ 𝐸), (∃𝑥 ∈ 𝐸), 𝑃(𝑥, 𝑦)).

Remarque 1.5. On ne peut pas permuter des quantificateurs de natures différentes. En effet, quand
on écrit ∃𝑥 , ∀𝑦 l’élément 𝑥 est fourni une bonne fois pour toutes avant les 𝑦 et est donc constant
quand 𝑦 varie. Quand on écrit ∀𝑦, ∃𝑥 l’élément 𝑥 est fourni après chaque 𝑦. Il dépend de 𝑦 et peut
donc varier quand 𝑦 varie.

3. Les grands types de raisonnement

3.1 Le raisonnement déductif (ou direct). Le schéma du raisonnement déductif est le suivant :
Quand 𝑃 est une proposition vraie, et 𝑃 ⇒ 𝑄 est une proposition vraie, on peut affirmer que 𝑄 est
une proposition vraie (le modus ponens). De plus, sachant que l’implication est transitive, une
démonstration prend très souvent la forme suivante : 𝑃 est vraie et 𝑃 ⇒ 𝑄 ⇒ 𝑅 ⇒ . . . ⇒ 𝑆 ⇒ 𝑇
est vraie, et on a donc montré que 𝑇 est vraie.

4
Département d’informatique Prépa-A1 – Algèbre 1 A.U 2019-2020

3.2 Le raisonnement par l’absurde

Le raisonnement par l’absurde pour montrer « 𝑃 ⇒ 𝑄 » repose sur le principe suivant : on suppose
à la fois que 𝑃 est vraie et que 𝑄 est fausse et on cherche une contradiction. Ainsi si 𝑃 est vraie alors
𝑄 doit être vraie et donc « 𝑃 ⇒ 𝑄 » est vraie.

3.3. Le raisonnement par contraposition : Le schéma est le suivant : Pour montrer que 𝑃 ⇒ 𝑄 est
une proposition vraie, il (faut et) il suffit de montrer que 𝑄 ⇒ 𝑃 est une proposition vraie.

3.4. Le raisonnement par disjonction de cas : Si l’on souhaite vérifier une assertion 𝑃(𝑥) pour tous
les 𝑥 dans un ensemble 𝐸, on montre l’assertion pour les 𝑥 dans une partie 𝐴 de 𝐸, puis pour les 𝑥
n’appartenant pas à 𝐴. C’est la méthode de disjonction de cas ou du cas par cas.

3.5. Le raisonnement par récurrence : Il permet de montrer qu’une assertion 𝑃(𝑛), dépendant de 𝑛,
est vraie pour tout 𝑛 ∈ ℕ. La démonstration par récurrence se déroule en trois étapes : lors de
l’initialisation on prouve 𝑃(0). Pour l’étape d’hérédité, on suppose 𝑛 > 0 donné avec 𝑃(𝑛) vraie, et
on démontre alors que l’assertion 𝑃(𝑛 + 1) au rang suivant est vraie. Enfin dans la conclusion, on
rappelle que par le principe de récurrence 𝑃(𝑛) est vraie pour tout 𝑛 ∈ ℕ.

3.6. Le contre-exemple : Si l’on veut montrer qu’une assertion du type « ∀𝑥 ∈ 𝐸, 𝑃(𝑥) » est vraie
alors pour chaque 𝑥 de 𝐸 il faut montrer que 𝑃(𝑥) est vraie. Par contre pour montrer que cette
assertion est fausse alors il suffit de trouver 𝑥 ∈ 𝐸 tel que 𝑃(𝑥) soit fausse. (Rappelez-vous la
négation de « ∀𝑥 ∈ 𝐸, 𝑃(𝑥) » est « ∃𝑥 ∈ 𝐸, 𝑛𝑜𝑛 𝑃(𝑥) ».) Trouver un tel 𝑥 c’est trouver un contre-
exemple à l’assertion « ∀𝑥 ∈ 𝐸, 𝑃(𝑥) ».