LM1, CHAPITRE 2 : Les connecteurs logiques

Cours n 3 et 4. Mardi 28 septembre et mardi 5 octobre 2010

Au cours de ce chapitre, nous passerons de la SYNTAXE (cest ce qui concerne la forme des expressions) la SMANTIQUE (cest ce qui est relatif leur signication, en particulier leur vrit).

Les connecteurs logiques sont des mots ou des symboles qui sont utiliss pour construire de nouveaux noncs mathmatiques partir dnoncs donns. [Mise en garde : il faut prendre ici le mot nonc dans le sens que nous lui avons donn au premier cours, cest--dire celui dexpression mathmatique nonant un fait concernant des objets mathmatiques. Il ne sagit pas du tout des noncs dexercices ou de problmes que lon vous donne rsoudre, mme si ceux-ci comportent la plupart du temps des noncs mathmatiques.] Exemple : partir des deux noncs suivants : n>3 on peut construire lnonc n > 3 et n est pair Le connecteur utilis ici, appel CONJONCTION, est le mot et , qui est parfois (mais rarement dans les textes mathmatiques les plus courants) remplac par le symbole (quon lit aussi et ). On utilise de mme couramment trois autres connecteurs : - La DISJONCTION : cest le mot ou , parfois remplac par le symbole . Ici, il permet de construire lnonc n > 3 ou n est pair - LQUIVALENCE : cest lexpression quivaut , souvent remplace par le symbole . Ici, elle permet de construire lnonc n > 3 quivaut n est pair - LIMPLICATION : cest lexpression si . . . , alors , parfois remplace par le symbole =, ou encore par le mot implique . Ici, elle permet de construire lnonc si n > 3, alors n est pair En fait, pour lquivalence et pour limplication, on utilise de nombreuses expressions alternatives, dont nous donnerons plusieurs exemples un peu plus loin. 1 ; n est pair

On notera que lexpression si . . . , alors et dun usage moins simple que et , ou et quivaut . En eet, pour ces trois dernires, il sut de les insrer entre les deux noncs donns pour obtenir le nouvel nonc, alors que dans le cas de si . . . , alors , le premier nonc se substitue aux pointills et le deuxime vient aprs alors . Lutilisation du mot implique vite cette dicult mais peut poser dautres problmes. Les quatre connecteurs , , , = sont dits BINAIRES, car ils agissent sur deux noncs pour en produire un troisime. Il y a aussi un connecteur UNAIRE, la NGATION. Cest le mot non , parfois (mais rarement dans les textes mathmatiques les plus courants) remplac par le symbole . partir dun nonc, par exemple n>3 on en obtient un autre, la ngation du premier, en faisant prcder celui-ci du mot non ou du symbole . Cela donne ici non n > 3 ATTENTION : lutilisation des connecteurs rend parfois ncessaire le recours des parenthses, an dviter des ambiguts de lecture. Par exemple, partir des deux noncs A et B suivants : n > 3 et n est impair n est premier on peut construire lnonc A = B que lon crit, en explicitant A et B, (n > 3 et n est impair) = (n est premier) . La mise entre parenthses de A est indispensable : sans cela il y aurait une ambigut. Pour B, on aurait pu sen passer (la ngation ne peut pas porter sur autre chose que sur lexpression n est premier tout entire). Disons que lutilisation des parenthses vite de se poser des questions et facilite la lecture. Encore une remarque. Dans la langue franaise, le mot conjonction dsigne plusieurs petits mots utiliss pour assembler des propositions (pensez la fameuse liste mais - ou - et - donc - or - ni - car ). Mais en mathmatiques, le mot conjonction ne dsigne quun seul connecteur : le connecteur et . VALEURS DE VRIT. TABLES DE VRIT Nous abordons ici les questions de smantique. 2 (A) (B)

Une remarque pralable, trs importante, simpose. Lorsquun nonc mathmatique comporte des variables libres, il est en gnral impossible de rpondre la question cet nonc est-il vrai ? . Le plus souvent en eet, cela DPEND des objets reprsents par les variables libres. Par exemple (en supposant que, dans ce qui suit, la variable n est astreinte lensemble N des entiers naturels et la variable x est astreinte lensemble R des nombres rels), on ne peut pas rpondre aux questions lnonc n > 3 ou n est pair est-il vrai ? lnonc 3x2 5x 7 < 0 est-il vrai ? si lon ne dispose pas dinformations plus prcises sur les objets dsigns respectivement par n et par x. En revanche, si un nonc ne comporte aucune variable libre (et bien sr sil ny a pas dambigut sur la signication des symboles qui y apparaissent), alors cet nonc est soit vrai, soit faux. Il arrive pourtant que lon ne sache pas dterminer dans laquelle de ces deux ventualits on se trouve : il sagit alors dune connaissance insusante des proprits mathmatiques tudies, et non pas dun manque dinformation sur les objets dont parle lnonc. Par exemple 0 = 1 est un nonc sans variable libre. Il est soit vrai soit faux (la plupart des gens saccordent sur lune de ces possibilits...). Lnonc Tout entier pair suprieur 3 est la somme de deux nombres premiers (voir le premier cours) est galement sans variable libre. Il est donc soit vrai soit faux, mais nul ne sait aujourdhui dans lequel des deux cas on se trouve. La situation est compltement dirente pour 3x2 5x 7 < 0 . Cette fois, limpossibilit de dterminer si cest vrai ou faux tient uniquement labsence dindication sur ce que reprsente x. tant donn deux noncs A et B, si, DANS CERTAINES CONDITIONS (par exemple en ayant x des valeurs pour les variables libres), A est vrai et B est faux, alors, dans ces mmes conditions, lnonc A B est faux, lnonc A B est vrai, lnonc A = B est faux et lnonc A B est faux. On peut de mme dterminer la VALEUR DE VRIT de ces noncs si on suppose que A est faux et que B est vrai, ou si on suppose que A et B sont tous les deux vrais, ou si on suppose que A et B sont tous les deux faux. On peut rcapituler cela dans un tableau o sont lists les quatre cas possibles pour le couple (A, B) : A vrai vrai faux faux B vrai faux vrai faux AB vrai faux faux faux AB vrai vrai vrai faux A B vrai faux faux vrai A = B vrai faux vrai vrai

On obtient ainsi ce que lon appelle les TABLES DE VRIT des quatre connecteurs binaires envisags (elles sont ici regroupes en une seule table, mais on aurait bien sr pu en faire une pour chaque connecteur). 3

Il y a bien sr galement une table de vrit pour la ngation. On na besoin que de deux lignes au lieu des quatre, puisque un seul nonc intervient et que deux cas seulement peuvent se prsenter (soit lnonc est vrai, soit il est faux) : A vrai faux A faux vrai

Voici quelques remarques sur ces tables de vrit : Lnonc A B est faux uniquement dans le cas o A et B sont tous les deux faux. Autrement dit A B est vrai soit si A est vrai et B faux, soit si B est vrai et A faux, soit si A et B sont tous les deux vrais. En mathmatiques, le ou nest jamais EXCLUSIF, alors que dans la langue usuelle il lest LE PLUS SOUVENT. Lorsquun concours annonce comme premier prix une voiture ou un chque de 15000 euros , lorsque le menu dun restaurant indique fromage ou dessert , ou encore lorsque vous dites un ami je viendrai te voir samedi ou dimanche , le ou est exclusif : cest lun ou lautre, mais pas les deux (cest certain dans les deux premiers exemples, trs probable dans le troisime). En mathmatiques, si on veut formuler un nonc qui soit vrai lorsque un et un seul des deux noncs A et B est vrai, on ne peut pas utiliser A B (qui a une autre signication). On doit recourir une formulation plus complique, par exemple (A B) (A B) (remarquez la ncessit dutiliser des parenthses). Lnonc A B est vrai lorsque A et B ont la mme valeur de vrit (tous les deux vrais ou tous les deux faux) et il est faux lorsque lun deux est vrai et lautre faux. La table de vrit de limplication est sans doute la seule qui puisse susciter des discussions. Un bon moyen de se convaincre que celle qui est propose dans le tableau prcdent est la seule possible est de se demander ce que lon dirait un interlocuteur que lon voudrait convaincre quun certain nonc de la forme A = B est faux : on voit bien que le seul argument qui vaille est celui qui consiste dire que A est vrai et quen mme temps B est faux. Cest le seul cas o A = B est faux. Dans les trois autres cas (A et B tous les deux vrais, A et B tous les deux faux, A faux et B vrai), A = B est vrai. Ceux qui ne seraient pas convaincus le seront (esprons-le !) par la pratique. En attendant, ils sont invits accepter ces tables de vrit comme les rgles imposes du jeu logique. Il est utile de retenir que, pour que lnonc A = B soit vrai, il sut que A (lnonc gurant gauche du signe =) soit faux ou que B (lnonc gurant droite du signe =) soit vrai. Comme indiqu prcdemment, le langage mathmatique dispose de nombreuses exressions qui ont la mme signication que A implique B . En voici 4

une liste (certainement incomplte : on peut songer de nombreuses autres variantes) : A = B si A, alors B A est une condition susante pour B B est une condition ncessaire pour A Pour que B, il sut que A Pour que A, il faut que B B si A A seulement si B De mme, on dispose des noncs suivants qui ont la mme signication que A quivaut B : A B A si et seulement si B A est une condition ncessaire et susante pour B Pour que A, il faut et il sut que B TAUTOLOGIES Une TAUTOLOGIE est un nonc, constitu laide des connecteurs, qui est vrai quelles que soient les valeurs de vrit des noncs partir desquels il a t form. Exemples de tautologies : A = A Pour que cet nonc soit faux, il faudrait en mme temps que A soit vrai et que A soit faux, ce qui est videmment impossible. A A Lun des deux noncs A et A est vrai : si ce nest pas A, cest A. A = (B = A) On peut utiliser une table de vrit pour sen assurer : A vrai vrai faux faux B vrai faux vrai faux B = A vrai vrai faux vrai A = (B = A) vrai vrai vrai vrai

mais on peut aussi faire le raisonnement suivant : si A est faux, lnonc A = (B = A) est vrai (quelle que soit la valeur de vrit de B = A) ; si A est vrai, B = A est vrai (quelle que soit la valeur de vrit de B), et donc A = (B = A) est vrai. (A = B) (B = C)

On peut utiliser aussi une table de vrit. Comme il y a trois noncs A, B et C qui interviennent et qui peuvent chacun prendre indpendamment les valeurs vrai et faux, la table comporte 23 , cest--dire 8, lignes : A vrai vrai vrai vrai faux faux faux faux B vrai vrai faux faux vrai vrai faux faux C vrai faux vrai faux vrai faux vrai faux A = B vrai vrai faux faux vrai vrai vrai vrai B = C vrai faux vrai vrai vrai faux vrai vrai (A = B) (B = C) vrai vrai vrai vrai vrai vrai vrai vrai

mais l encore un raisonnement bien plus rapide donne le rsultat : si B est faux, lnonc B = C est vrai (quelle que soit la valeur de vrit de C) ; si B est vrai, lnonc A = B est vrai (quelle que soit la valeur de vrit de A), et donc, dans tous les cas, lnonc (A = B) (B = C) est vrai. (A (B C)) ((A B) (A C)) (A = B) (A B) Nous conons la vrication de ces deux dernires au lecteur. ATTENTION : une tautologie est un nonc mathmatique qui est toujours vrai, mais il y a des noncs mathmatiques toujours vrais qui ne sont pas des 1 tautologies. Par exemple, lnonc 0 x dx = 1 est toujours vrai, mais ce nest 2 pas une tautologie. Une tautologie est un nonc construit laide des connecteurs, qui est vrai uniquement en raison des proprits de ces connecteurs (de leurs tables de vrit), indpendamment de la vrit, mais aussi de la NATURE des noncs partir desquels lnonc considr est form. Pour armer que A = A est une tautologie, il nest pas besoin de savoir ce quest lnonc A. 1 Tandis que ce qui nous permet darmer que lnonc 0 x dx = 1 est vrai, cest 2 la connaissance de proprits des intgrales. Ici, cest le contenu mathmatique qui intervient, alors que dans le cas des tautologies, ce sont des considrations purement logiques. Remarque : le fait que lnonc (A = B) (B = C) soit une tautologie pourra paratre troublant certains. Pensez notamment au cas particulier o les noncs C et A concident. Ce que nous avons dit (et prouv !), cest que, tant donn deux noncs quelconques A et B, lune des deux implications A = B et B = A est ncessairement vraie. Nous reviendrons sur cette question.