
2
I. Logique.
———————————————————————————–
Assertion. Une assertion est un ´enonc´e dont on peut affirmer
sans ambigu¨ıt´e s’il est vrai ou s’il est faux.
Par exemple, ”1<2” est une assertion vraie et ”4<3” est une assertion fausse.
Proposition. Une proposition est un ´enonc´e contenant des
variables, qui est vrai pour certaines valeurs attribu´ees `a ces
variables, faux pour toutes les autres.
Par exemple, ”x<2” est une proposition, elle est vraie pour les nombres
strictement inf´erieurs `a 2, fausse pour tous les autres.
N´egation. La n´egation d’une proposition ”P”, not´ee ”non P”
est vrai lorsque Pest fausse, fausse lorsque Pest vrai.
Par exemple, la proposition ”x<2” est la n´egation de la proposition ”x≥2”.
Conjonction. La conjonction de deux propositions P,Q, not´ee
”Pet Q”, est vraie, si les deux propositions sont vraies, fausse
dans tous les autres cas.
Par exemple, la conjonction des propositions ”x≤2” et ”x≥2” est ”x=2”.
Incompatibilit´e. Deux propositions P,Qsont incompatibles si
la conjonction ”Pet Q” est toujours fausse.
Par exemple, les propositions ”x≤2” et ”x≥5” sont incompatibles.
Disjonction. La disjonction de deux propositions P,Q, not´ee
”Pou Q”, est vrai, si au moins une des deux propositions est
vrai, fausse dans tous les autres cas (le ”ou” est inclusif).
Par exemple, la disjonction ”x>2 ou x<2” est ”x6=2”.
Implication. L’implication de deux propositions P,Q, not´ee
”P=⇒Q”, est la proposition ”(non P) ou Q ”.
L’implication ”P=⇒Q” se lit ”Pimplique Q” ou ”Pentraine Q” ou ”Pest
une condition suffisante de Q” ou ”Qest une condition n´ecessaire de P”. Le
fait que ”P=⇒Q” soit vraie signifie que ; pour que Qsoit vraie il suffit que
Psoit vraie, ou encore, pour que Psoit fausse il suffit que Qsoit fausse.
Th´eor`eme. Pet Q´etant deux assertions; si ”P=⇒Q” est
vrai on dit que c’est un th´eor`eme (c’est-`a-dire une assertion
d´emontr´ee dont Pest l’hypoth`ese et Qla conclusion).
Equivalence. L’´equivalence de deux propositions P,Q, not´ee
”P⇐⇒ Q”, est la proposition ”(P=⇒Q) et (Q=⇒P) ”.
———————————————————————————–