MAT1500–Mathématiques discrètes

Matilde N. Lalı́n

Université de Montréal
http://www.dms.umontreal.ca/~mlalin/mat1500

Le 9 janvier 2018

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 1 / 31

Le menu d’aujourd’hui

Présentation
Plan de cours et présentation de la matière
1.1 Logique (propositions et opérateurs logiques)

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 2 / 31

 Présentation

Présentation de la prof

originaire de l’Argentine.
des études à Buenos Aires et à Austin, TX
des stages à Princeton et à Vancouver
professeur à Edmonton
professeur à l’UdeM depuis 2010

XX 
Mon prénom est Matilde, sans H Mathilde 
XX
XXXXX

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 3 / 31

 Plan de cours et présentation de la matière

Plan de cours

Échéancier : Le 9 janvier au 13 avril

(pas de cours le 6 et 9 mars)

(th.) 10h30 - 12h30 P-310 Pav. Roger-Gaudry (mardi)

et 1140 Pav. André-Aisenstadt (vendredi)

(t.p.) jeudi 13h30 - 15h30 S-142, Y-115,

Professeure : Matilde N. Lalı́n

Pav A.-Aisenstadt 5145
Disponibilités mardi et mercredi 12h30 -13h30
Possibilité d’autres périodes sur rendez-vous.
mlalin@dms.umontreal.ca
www.dms.umontreal.ca/~mlalin/mat1500

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 4 / 31

 Plan de cours et présentation de la matière

Auxiliaires d’enseignement

AE : Crystel Bujold (t.p.: S-142, dispos: mardi 15h-16h AA 6253)

(étudiants avec noms de famille commençant par A-La)
bujoldc@dms.umontreal.ca

Antoine Giard (t.p.: Y-115, dispos: mercredi 13h-14h AA 4174)

(étudiants avec noms de famille commençant par Lb-Z)
antoine.giard.1@umontreal.ca

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 5 / 31

 Plan de cours et présentation de la matière

Plan de cours (continuation)

Manuel : Kenneth H. Rosen, Mathématiques discrètes

édition révisée, Chenelière Éducation (2002).

Disponible en bibliothèque et à la librarie.

Devoir : Le devoir sera placé sur la page web du cours et discuté

pendant le T.P.
Il est très important de faire le devoir avant le T.P.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 6 / 31

 Plan de cours et présentation de la matière

Barème et examens

Barème : Veuillez toujours les vérifier les horaires et locaux

des examens dans le site
www.etudes.umontreal.ca/horaire/index.html

Examen Intra 40 % Le 22 février, 13h30 - 15h30, B-0325

Examen Final 60 % Le 20 avril, 13h30 - 16h30, B-2325
Note final : Combinaison des mesures absolues et de distribution.
Les notes seront disponibles sur Studium
https://studium.umontreal.ca/
Toutes les autres informations du cours sont sur
www.dms.umontreal.ca/~mlalin/mat1500

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 7 / 31

 Plan de cours et présentation de la matière

Le contenu général du cours

Les mathématiques discrètes familiarisent les étudiants avec les méthodes

de dénombrement dont ils auront besoin dans l’étude des probabilités et
des structures finies.
Les progrès technologiques des dernières décennies font de la combinatoire
un outil indispensable en génie, dans les sciences physiques et les sciences
de la vie, en statistique et en sciences sociales, aussi bien que dans
l’analyse des structures de données en informatique, dans la théorie des
langages d’ordinateurs et dans l’analyse des algorithmes.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 8 / 31

 Plan de cours et présentation de la matière

Objectifs et thèmes du cours

Objectifs
Développer le sense critique
Connaı̂tre les rudiments de la logique et les mathématiques discrètes
Suivre et écrire des preuves mathématiques
Sujets
La logique
Les ensembles et les fonctions
Les nombres entiers et ses propriétés élémentaires
L’induction mathématique
Les techniques de dénombrement
La modélisation

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 9 / 31

 1.1 Logique (propositions et opérateurs logiques)

1.1 Logique

La logique est à la base du raisonnement mathématique.

Définition : Une proposition (logique) est un énoncé qui peut être vrai ou
faux, mais non les deux à la fois.

Un énoncé dans la vraie vie peut être vrai et faux au même temps : dans
ce cas ce n’est pas considéré comme une proposition logique.

 3 − 1 = 2  proposition
 Toronto est la capitale du Canada  proposition
 x > 0 pas une proposition! Cela depend de la valeur de x (c’est
une fonction propositionnelle: chaque valeur de x donne une
proposition).

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 10 / 31

 1.1 Logique (propositions et opérateurs logiques)

La vraie vie est compliquée

Considérons l’énoncé :  Il fait beau .

Un problème de la vraie vie est, qui décide la vérité, et quand et comment
?
Supposons qu’il pleut.
Si vous avez un jardin vous dites peut-être : vrai (il fait beau pour
mes plantes).
Si vous voulez manger dehors vous dites : faux (je ne veux pas
manger sous un parapluie).
On pourrait faire un sondage : 33% vrai, 66% faux, 1% sans opinion
? ? ? ?
Ce ne sont pas de problèmes de logique, mais problèmes de la vraie vie.
 Il fait beau  n’est pas une proposition. Cela depend de l’opinion des
gens.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 11 / 31

 1.1 Logique (propositions et opérateurs logiques)

La valeur de vérité

Définition : La valeur de vérité d’une proposition est vrai (V) si cette

propostion est vérifiée ou faux (F) dans le cas contraire.
 3−1=2  V
 Toronto est la capitale du Canada  F
 1+1=3  F
 Le chat est un animal  V
 Chaque nombre naturel pair n > 2 est la somme de deux nombres
premiers  V ou F, mais inconnu
Pour la dernière proposition on ne connais pas la réponse, mais c’est soit
vraie, soit fausse.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 12 / 31

 1.1 Logique (propositions et opérateurs logiques)

Les propositions composées

On peut construire des nouvelles propositions à partir de celles qu’on a

déjà.

Pour relier plusieurs propositions ou pour modifier une proposition on se

sert des opérateurs logiques.

Définition : Les propositions qui sont combinaison de plusieurs enoncés

s’appellent propositions composées.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 13 / 31

 1.1 Logique (propositions et opérateurs logiques)

Les propositions composées

Exemple :
Je vais patiner aujourd’hui seulement si je me sens bien et Je ne me sens
pas bien et Je vais patiner aujourd’hui

La combinaison des trois enoncés donne une proposition qui est fausse.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 14 / 31

 1.1 Logique (propositions et opérateurs logiques)

La négation
Soit P une proposition quelconque.

Q = Il n’est pas vrai que P .

Définition : Q est la proposition appelée négation de P et notée ¬P (non

P).
Exemple :
P = Pikachu est un Pokémon 
¬P = Pikachu n’est pas un Pokémon 

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 15 / 31

 1.1 Logique (propositions et opérateurs logiques)

Les tables de vérité

Une table de vérité présente les relations entre les valeurs de vérité de
plusieurs propositions.

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

P ¬P
V F
F V

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 16 / 31

 1.1 Logique (propositions et opérateurs logiques)

La conjonction

Soient P et Q deux propositions quelconques.

R = P et Q ,

Définition : R est la proposition appelée la conjoncion de P et Q et notée

P ∧ Q (P et Q).

P ∧ Q est vraie si à la fois P et Q sont vraies. Elle est fausse sinon.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 17 / 31

 1.1 Logique (propositions et opérateurs logiques)

La conjonction-Exemple et table de vérité

 le manuel du cours est bleu  ∧  le ciel est vert 

Pour n’importe quelles valeurs de vérité de P et de Q, on a

P Q P ∧Q
V V V
V F F
F V F
F F F

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 18 / 31

 1.1 Logique (propositions et opérateurs logiques)

La disjonction

Soient P et Q deux propositions quelconques.

R = P ou Q ,

Définition : R est la proposition appelée la disjonction de P et Q et notée

P ∨ Q (P ou Q).

P ∨ Q est fausse si à la fois P et Q sont fausse. Elle est vraie sinon.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 19 / 31

 1.1 Logique (propositions et opérateurs logiques)

La disjonction-Exemple et table de vérité

 le manuel du cours est bleu  ∨  le ciel est vert 

Pour n’importe quelles valeurs de vérité de P et de Q, on a

P Q P ∨Q
V V V
V F V
F V V
F F F

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 20 / 31

 1.1 Logique (propositions et opérateurs logiques)

La disjonction exclusive

Soient P et Q deux propositions quelconques.

R = P ou exclusif Q ,

Définition : R est la proposition appelée la disjonction exclusive de P et Q

et notée P ⊕ Q (P ou exclusif Q).

P ⊕ Q est vraie si soit P, soit Q est vraie. Elle est fausse sinon.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 21 / 31

 1.1 Logique (propositions et opérateurs logiques)

La disjonction exclusive-Exemple et table de vérité

 le manuel du cours est bleu  ⊕  le ciel est vert 

Pour n’importe quelles valeurs de vérité de P et de Q, on a

P Q P ⊕Q
V V F
V F V
F V V
F F F

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 22 / 31

 1.1 Logique (propositions et opérateurs logiques)

La disjonction versus la disjonction exclusive

Attention : Dans la vraie vie on dit ou à la place de ou exclusif.

Un logicien dans un resto :

Serveur : Dans le menu du jour une soupe ou une salade est incluse.
Logicien : Daccord. Donnez-moi les deux !
Serveur : Mais non, monsieur, vous n’avez pas le droit.
Logicien : Zut. Pourquoi pas, vous avez dit ou, non ? 

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 23 / 31

 1.1 Logique (propositions et opérateurs logiques)

L’implication

Soient P et Q deux propositions quelconques.

R = si P alors Q ,

Définition : R est une proposition appelée implication et notée P → Q.

On lit  si P alors Q ,  P implique Q ,  P seulement si Q ,
 Q si P ,  Q dès que P ,  Q est nécessaire pour P 

P → Q est fausse si P est vraie et Q est fausse. Elle est vraie sinon.

Le P est appelée l’hypothèse, l’antécédent ou la prémisse.

Le Q est appelée la conclusion ou la conséquence.

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 24 / 31

 1.1 Logique (propositions et opérateurs logiques)

La vérité de l’implication

Si P → Q est F, qu’est-ce qu’on peut dire de P et de Q ?

P est V et Q est F

Si P → Q est V, qu’est-ce qu’on peut dire de P et de Q ?

P est Q sont V ou
P est F (et Q n’importe pas)

 Vous avez une note plus haute ou égale à 50 

→ Vous avez réussi le cours 

 le ciel est vert → le manuel du cours est bleu 

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 25 / 31

 1.1 Logique (propositions et opérateurs logiques)

L’implication-Table de vérité

P Q P→Q
V V V
V F F
F V V
F F V

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 26 / 31

 1.1 Logique (propositions et opérateurs logiques)

Le langage de l’implication

P→Q

 P est suffisante pour Q 

L’hypothèse est suffisante pour la conclusion
 Q est nécessaire pour P 
La conclusion est nécessaire pour l’hypothèse

Q→P

 Q est suffisante pour P 

 P est nécessaire pour Q 

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 27 / 31

 1.1 Logique (propositions et opérateurs logiques)

Combinaison de propositions

On peut construire combinaisons de propositions en utilisant plusieurs

opérateurs et parenthèses.

Exemple : Soient P, Q, R des propositions quelconques. On peut

considérer
(P ∨ Q) ∧ ¬R
(S’il n’y a pas de parenthèse on convient que la négation est appliqué
avant tous les autres opérateurs logiques.)

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 28 / 31

 1.1 Logique (propositions et opérateurs logiques)

Table de vérité pour l’exemple

(P ∨ Q) ∧ ¬R

P Q R P ∨Q ¬R (P ∨ Q) ∧ ¬R
V V V V F F
V F V V F F
F V V V F F
F F V F F F
V V F V V V
V F F V V V
F V F V V V
F F F F V F

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 29 / 31

 1.1 Logique (propositions et opérateurs logiques)

La réciproque et la contraposée

Définition : La réciproque de P → Q est Q → P.

Définition : La contraposée de P → Q est ¬Q → ¬P. (Attention : il y a

une erreur a la page 7 du livre.)

Exemples :
 Si x = 2, alors x 2 = 4 

Réciproque :
 Si x 2 = 4, alors x = 2 

Contraposée :
 si x 2 6= 4, alors x 6= 2 

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 30 / 31

 1.1 Logique (propositions et opérateurs logiques)

Les tables de vérité de la réciproque et la contraposée

P Q P→Q Q→P ¬P ¬Q ¬Q → ¬P
V V VV V F F VV
V F FF V F V FF
F V VV F V F VV
F F VV V V V VV

Matilde N. Lalı́n (U de M) MAT1500 Le 9 janvier 2018 31 / 31