Académique Documents
Professionnel Documents
Culture Documents
Chapitre 1 (Sections 1, 2)
François Meunier
DMI
Organisation du cours
Professeur: François Meunier
Bureau: 3081R
Téléphone: 819 376 5011 ext. 3833
Addresse e-mail: Francois.Meunier@uqtr.ca
Livre de référence
Mathématiques Discrètes,
K. H. Rosen, Édition
Révisée, Traduction de la
3ième Édition, Chenelière
McGraw-Hill.
n
f :A B f 1 ( x) f g x a
S
a
i 1
i
Logique propositionnelle:
Définitions de bases.
Règles d’équivalence et dérivations.
vérité,
et, la valeur de vérité peut dépendre d’une situation particulière
ou du contexte.
Nous verrons plus tard, en étudiant la théorie probabiliste qu’il est
possible d’assigner un degré de certitude (entre T ou F) à des
propositions.
Pour l’instant pensez! VRAI/FAUX
Exemples de propositions
“C’est nuageux.” (Dans une situation donnée.)
“Ottawa est la capitale du Canada.”
“1 + 2 = 3”
“p implique q” “p seulement si q”
“Si p, Alors q” “p est suffisant pour que q”
“Si p, q” “q est nécessaire pour que p”
“quand p, q” “q découle de p”
“chaque fois que p, q” “q est supposé par p”
“q si p”
“q quand p”
“q chaque fois que p”
Réciproque, Inverse, Contraposée
Prouvons l’équivalence de p q et sa
contraposée par table de vérité:
p q q p pq q p
F F T T T T
F T F T T T
T F T F F F
T T F F T T
L’opérateur biconditionnel
Une forme biconditionelles p q est vraie si la
proposition p est vraie et si la proposition q est
vraie. Nous dirons p SSI q.
p = “Obama gagne les élections de 2008.”
q = “Obama sera président jusqu’en 2012.”
p q = “Obama gagne les élections de 2008, SSI, Obama
sera président jusqu’en 2012.”
2012
2008
Yes we
can!
Table de vérité de la biconditionnelle
p q signifie que p et q
p q pq
ont la même valeur de vérité.
F F T
Notez que cette table de vérité
F T F
est l’opposée du XOR
T F F
Donc, p q est équivalent ¬(p q)
T T T
pq
Les propositions composées p et q
sont logiquement équivalentes
(exprimée p q) SSI p et q
possèdent les mêmes valeurs
logiques dans toutes les rangées
de leur table de vérité.
Preuve d’équivalence par table de
vérité
Ex. Prouvez que pq (p q).