4
Les opérateurs relient ces éléments, et donnent vrai ou faux selon que les éléments opérés sont
vrais ou faux.
Exemple : a
b (qui veut dire a ET b) donne vrai que si a et b sont tous les 2 vrais, sinon, il
donne faux.)
Voici tous les tables de vérité et les opérateurs qu’on étudiera :
Soit A et B des propositions. On note 1 si elles sont vraies, 0 si elles sont fausses. Ce tableau
envisage tous les cas de combinaisons entre A et B
Propriété des opérateurs :
Le
(NON) renvoie le contraire. Si A est vrai, alors
A est faux ; si A est faux,
A est
vrai
Le
(ET) (pour s’en souvenir, on pense à l’intersection(même symbole), qui donne l’
intervalle donné ET par l’un, et par l’autre.). Le ET renvoie vrai que si les 2 propositions
testées sont vrais. Des qu’on sait que l’un est faux, il devient inutile de calculer le 2è : le
résultat sera de toute façon faux.
Le
(OU) (symbole réunion, qui donne l’intervalle donné par l’un OU l’autre). Le OU
renvoie vrai si au moins une des 2 est vraie. Si on sait que l’une des 2 est vraie, inutile de
calculer la 2e, le résultat sera de toute façon vrai.
Le
(OU exclusif), (en fait, c’est un V à l’envers avec un point dedans), renvoie vrai que
si l’une ou l’autre des propositions est vraie mais pas les 2 : il renvoie faux si les 2
propositions dont vraies.
Le
(Equivalent), renvoie vrai si les 2 propositions sont toutes les 2 vraies, ou toutes les
2 fausses, donc si les 2 propositions sont équivalentes.
Les
(implique) renvoie vrai dans tous les cas, sauf quand le vrai implique le faux (voir
tableau. On peut remplacer A
B par
B.
Vocabulaire :
Une proposition est dite valide lorsqu’elle est toujours vraie, quelque soit les valeurs de ses
inconnus, on dit que cette proposition est une TAUTOLOGIE.
Ex :
est une tautologie. En effet, si b est vrai, alors le OU est vrai et A est vrai. Si
b est faux, alors
b est vrai, et le OU est vrai, et A est vrai. Donc la proposition A est
toujours vraie, c’est une tautologie.
Une proposition est dite inconsistance si elle est toujours fausse : Ex :
Une proposition est dite consistante si elle peut être vraie ou fausse selon que les propositions
qui la constituent sont vraies ou fausses. (donc toutes les propositions qui ne sont ni valides ni
inconsistantes)
Diagramme de QUINE :
Il sert à simplifier des expressions compliquées.
Ex : on veut simplifier
)())()(( rqrpqpA
On a 3 propositions la dedans qui peuvent être soit vraies soit fausses, p, q et r.
A est est donc une proposition plus compliquée dépendant de p, q et r.
Pour le diagramme de QUINE, on choisi une de ces inconnues, et on va envisager 2 cas. D’un
coté, q est vraie, de l’autre, q est fausse. On va représenter ça sous forme d’un arbre.