Beamer Expressions 2023-2024

Énoncés élémentaires et opérateurs
Tables de vérité
Algèbre de Boole
Implication
Évaluation des énoncés
Expressions logiques
5 septembre 2023
Tables de vérité
Algèbre de Boole
Implication
Contents
1 Énoncés élémentaires et opérateurs
2 Tables de vérité
3 Algèbre de Boole
4 Implication
5 Évaluation des énoncés
Tables de vérité
Algèbre de Boole
Implication
Enoncés élémentaires
Des énoncés déclaratifs - vrais ou faux ?
Leur évaluation peut faire l’objet d’un calcul
Analyse d’un énoncé complexe comme combinaison d’énoncés
plus simples au moyen d’opérateurs logiques
énoncés dits élémentaires ou atomiques
Exemple
« J’ai une moyenne supérieure à 14 et une note inférieure
à 7 en économie »
se décompose en deux énoncés élémentaires :
A : « J’ai une moyenne supérieure à 14 »
B : « J’ai une note inférieure à 7 en économie »
Expression logique : « A et B »
3
Tables de vérité
Algèbre de Boole
Implication
Valeurs de vérité
Les valeurs VRAI/FAUX sont souvent représentées symboliquement,

selon les langages utilisés (mathématiques ou informatiques) par :
Les mots VRAI/FAUX
La version anglophone TRUE/FALSE
Les symboles V, F
Les chiffres 1, 0 (1 pour vrai, 0 pour faux)
Dans la suite on utilisera V/F ou 1/0.
Tables de vérité
Algèbre de Boole
Implication
l’opérateur NON
tableur/informel : NON(A)
Table de vérité de la négation :
langage python : not A
langage C : !A A ¬A
mathématiques : A V F
mathématiques : ¬A F V
Exemple
La note de mathématique (NM) ne peut pas être inférieure à 5
¬(NM < 5)
Tables de vérité
Algèbre de Boole
Implication
l’opérateur ET (conjonction)
Table de vérité du ET logique :

tableur : ET (A; B),
informel : A et B A B A∧B
langage python : A and B V V V
langage C : (A&&B) V F F
mathématiques : A∧B F V F
F F F
Tables de vérité
Algèbre de Boole
Implication
Exemple
Exemple
Condition d’admission avec 3 notes : la personne a la moyenne
supérieure à 14 et pas de note de mathématiques inférieure à 7
Tables de vérité
Algèbre de Boole
Implication
l’opérateur OU (disjonction)
Table de vérité du OU logique

tableur : OU(A; B)
informel : A ou B A B A∨B
langage python : A or B V V V
langage C : (A||B) V F V
mathématiques : A∨B F V V
F F F
Attention !
Le OU logique est différent du « ou » du langage courant !
Tables de vérité
Algèbre de Boole
Implication
Exemple
Exemple
la personne n’a aucune de ses trois notes inférieure à 7.
Tables de vérité
Algèbre de Boole
Implication
Elément neutre
Element neutre
Si A est un énoncé, ¬¬A = A
Illustration : la négation de "ma note n’est pas inférieure à 7" est

"ma note est inférieure à 7".
¬¬(N < 7) = (N < 7)
10
Tables de vérité
Algèbre de Boole
Implication
Commutativité
Commutativité du OU et du ET
Si A et B sont des énoncés logiques, A ∧ B = B ∧ A,
A∨B =B ∨A
Illustration : L’énoncé : Moyenne supérieure à 14 et note
d’économie inférieure à 7
a la même valeur de vérité que : Note d’économie inférieure à 7 et
moyenne supérieure à 14
11
Tables de vérité
Algèbre de Boole
Implication
Associativité des opérateurs

Associativité du OU et du ET
Soit A, B et C des expressions logiques :
A ∨ (B ∨ C ) = (A ∨ B) ∨ C = A ∨ B ∨ C
A ∧ (B ∧ C ) = (A ∧ B) ∧ C = A ∧ B ∧ C
Illustration : Note d’économie N1, de maths N2, d’info N3.
A = ((N1 < 7) ∨ (N2 < 8)) ∨ (N3 < 5)

= (N1 < 7) ∨ ((N2 < 8) ∨ (N3 < 5))
Attention, pour un ordinateur la présence de parenthèses indique un ordre
d’évaluation des expressions logiques.
En l’absence de parenthèse, c’est la priorité des opérateurs et le sens de
l’évaluation lié au langage de programmation qui indique l’ordre dans lequel les
éléments sont calculés. 12
Tables de vérité
Algèbre de Boole
Implication
Distributivité des opérateurs
Distributivité du OU et du ET
A ∧ (B ∨ C ) = (A ∧ B) ∨ (A ∧ C )
A ∨ (B ∧ C ) = (A ∨ B) ∧ (A ∨ C )
Démonstration par les tables de vérité :

A B C B∨C A ∧ (B ∨ C ) A∧B A∧C (A ∧ B) ∨ (A ∧ C )
F F F F F F F F
F F V V F F F F
F V F V F F F F
F V V V F F F F
V F F F F F F F
V F V V V F V V
V V F V V V F V
V V V V V V V V
13
Tables de vérité
Algèbre de Boole
Implication
Exemple
M désigne la moyenne et N1, N2 deux notes :
((M ≥ 10) ∧ (N1 ≥ 7)) ∨ ((N2 ≥ 8) ∧ (M ≥ 10))
Peut se réécrire :
(M ≥ 10) ∧ ((N1 ≥ 7) ∨ (N2 ≥ 8))
14
Tables de vérité
Algèbre de Boole
Implication
Lois de Morgan
Lois de Morgan
¬(A ∨ B) = (¬A) ∧ (¬B) (1)

¬(A ∧ B) = (¬A) ∨ (¬B) (2)
Combiner la table de ¬ et Considérer l’expression (¬A) ∧ (¬B) :
celle de A ∨ B :
A B A ∨ B ¬(A ∨ B) A B ¬A ¬B ¬A ∧ ¬B
V V V F V V F F F
V F V F V F F V F
F V V F F V V F F
F F F V F F V V V
les dernières colonnes des deux tableaux coincident
15
Tables de vérité
Algèbre de Boole
Implication
Traitement d’un exemple
Admissibilité à un concours à 3 notes :

Une personne est admissible lorsque la moyenne de ses trois
notes est supérieure ou égale à 14 et qu’elle n’a aucune note
inférieure à 7.
Une personne peut également être admissible si sa moyenne
est supérieure à 13 et qu’elle n’a aucune note inférieure à 10.
Déterminer les variables

Déterminer les énoncés élémentaires/ ces variables
Exprimer les phrases comme une expression logique
Simplifier l’expression logique
16
Tables de vérité
Algèbre de Boole
Implication
Déterminer une expression logique à partir d’une table de

vérité
Repérer les lignes où le résultat est
V
table de vérité d’un Déterminer une expression vraie
opérateur lorsque qu’une ligne est vraie et
fausse sinon (ex ¬A ∧ B est vrai
A B seulement lorsque A = F , B = V ).
V V V
L’expression correspondant à la
V F F
table est alors un ou logique entre
F V V
ces expressions élémentaires
F F V
on peut aussi inverser la table, puis
faire une négation pour l’expression
correspondante.
17
Tables de vérité
Algèbre de Boole
Implication
Implication
On définit un nouvel opérateur,

noté ⇒ :
table de vérité de l’implication
A ⇒ B = ¬A ∨ B A B A⇒B
V V V
qu’on lira « A implique B » ou
V F F
encore « si A alors B ». En
utilisant les lois de Morgan, on F V V
peut également écrire F F V
A ⇒ B = ¬(A ∧ ¬B).
18
Tables de vérité
Algèbre de Boole
Implication
Conséquence logique
Conséquence logique
Soit X et Y des énoncés mathématiques dépendant de certains
paramètres. On dit que Y est conséquence logique de X si toutes
les valeurs des paramètres qui donnent la valeur VRAI à X donnent
aussi la valeur VRAI à Y .
Si X = A ∧ B et Y = A ∨ B
Y est conséquence logique de X .
X n’est pas conséquence logique de Y , car les valeurs A = V
et B = F donnent à Y la valeur VRAI mais à X la valeur
FAUX.
19
Tables de vérité
Algèbre de Boole
Implication
Lien entre implication et conséquence logique
Proposition
Soit A, B deux expressions logiques. L’expression B est
conséquence logique de A si et seulement si l’expression A ⇒ B
prend la valeur VRAI pour toutes les valeurs de ses paramètres.
Exemple
A ⇒ B est-elle conséquence logique de B ?
Attention ! Implication n’est pas causalité !

« Si j’ai de la fièvre, alors je suis malade »
« J’ai de la fièvre » implique l’énoncé « Je suis malade », mais c’est la

maladie qui cause la fièvre, et non l’inverse !
20
Tables de vérité
Algèbre de Boole
Implication
Circuits électroniques et expressions logiques
Information binaire
un ordinateur manipule des combinaisons d’informations de nature
binaire, donc avec deux valeurs possibles, qu’on peut assimiler à
VRAI et FAUX, mais qui en fait sont plutôt « il y a du courant sur
le fil » ou « il n’y a pas de courant sur le fil ».
Les circuits électroniques sont constitués

Un additionneur : de « portes logiques »
Une expression logique peut être
immédiatement transcrite en un circuit
électronique.
L’efficacité dépend du nombre de portes
logiques utilisées.
21
Tables de vérité
Algèbre de Boole
Implication
Expressions logiques et programmation informatique
code informatique
la programmation de code informatique fait très fréquemment appel
aux expressions logiques, qui permettent d’exprimer des conditions
pour certaines actions.
If (expression logique) blocinstructions Cette instruction permet de

ne faire blocinstructions que lorsque l’expression
logique est vraie.
While (expression logique) blocinstructions Cette instruction
permet de répeter blocinstructions tant que
l’expression logique est vraie.
22
Tables de vérité
Algèbre de Boole
Implication
Expressions logiques et pratique mathématique
Dans la pratique mathématique, on évalue les énoncés au moyen de

raisonnements, les tables de vérité peuvent alors servir de guide
pour aider à l’organisation du raisonnement : ce sera l’objet du
prochain chapitre.
23

Beamer Expressions 2023-2024

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Beamer Expressions 2023-2024

Transféré par

Droits d'auteur :

Formats disponibles

Énoncés élémentaires et opérateurs

1 Énoncés élémentaires et opérateurs

5 Évaluation des énoncés

Les valeurs VRAI/FAUX sont souvent représentées symboliquement,

Table de vérité du ET logique :

Table de vérité du OU logique

Illustration : la négation de "ma note n’est pas inférieure à 7" est

¬¬(N < 7) = (N < 7)

Associativité des opérateurs

Illustration : Note d’économie N1, de maths N2, d’info N3.

A = ((N1 < 7) ∨ (N2 < 8)) ∨ (N3 < 5)

Distributivité des opérateurs

Démonstration par les tables de vérité :

M désigne la moyenne et N1, N2 deux notes :

((M ≥ 10) ∧ (N1 ≥ 7)) ∨ ((N2 ≥ 8) ∧ (M ≥ 10))

(M ≥ 10) ∧ ((N1 ≥ 7) ∨ (N2 ≥ 8))

¬(A ∨ B) = (¬A) ∧ (¬B) (1)

Traitement d’un exemple

Admissibilité à un concours à 3 notes :

Déterminer les variables

Déterminer une expression logique à partir d’une table de

On définit un nouvel opérateur,

Lien entre implication et conséquence logique

Attention ! Implication n’est pas causalité !

« J’ai de la fièvre » implique l’énoncé « Je suis malade », mais c’est la

Circuits électroniques et expressions logiques

Les circuits électroniques sont constitués

Expressions logiques et programmation informatique

If (expression logique) blocinstructions Cette instruction permet de

Expressions logiques et pratique mathématique

Dans la pratique mathématique, on évalue les énoncés au moyen de

Vous aimerez peut-être aussi