PARIS8. Introduction à la logique UN I V E R S I T É UFR 6 MITSIC. Vincennes-Saint-Denis

Transcription

1 PARIS8 UN I V E R S I T É Vincennes-Saint-Denis UFR 6 MITSIC Mathématiques, Informatique, Technologies, Sciences de l Information et de la Communication Introduction à la logique Philippe Guillot 20 septembre 2012 Licence informatique

2 Sommaire 3 Sommaire Introduction Chapitre I. Le calcul propositionnel Propositions Propositions simples, propositions composées Connecteurs logiques Chapitre II. Le langage des formules propositionnelles Formule bien construite Représentation par arbre Évaluation d une formule Évaluation partielle d une formule Notation polonaise préfixe Chapitre III. Tautologies et contradictions Définitions Définition des principaux connecteurs Méthode sémantique Méthode syntaxique Quelques tautologies usuelles Chapitre IV. Raisonnements et inférences Ensemble consistant de formules Inférences et déductions Règles d inférence Chapitre V. Formes normales Fonction booléenne Logique et nombres Forme normale disjonctive Méthode syntaxique Chapitre VI. Méthode des arbres Construction graphique d une forme normale disjonctive L arbre de réfutation

3 4 Sommaire Chapitre VII. Déduction naturelle Introduction Trois règles de base Traitement des connecteurs Exemples Chapitre VIII. Prédicats Les limites du calcul des propositions Prédicat Les prédicats unaires Chapitre IX. Le langage des prédicats La grammaire du langage Variables Chapitre X. Interprétation, validité Interprétation Vérité d une formule Formules valides Équivalences classiques en calcul des prédicats Chapitre XI. Méthode des arbres en calcul des prédicats Règles de développement Exemples Tester la validité d une formule Vérifier la validité d un raisonnement Complément : une formule qui n admet aucun modèle fini Chapitre XII. Déduction naturelle en langage des prédicats Règle sur Règle sur Exemples Index alphabétique Bibliographie

4 Introduction 5 Introduction La logique est l étude des procédés qui conduisent de façon irréfutable à des énoncés vrais. Elle a pour objet la recherche de la vérité au moyen de raisonnements et de déductions. On souhaite éliminer l intuition, le jugement, l appréciation, la confusion, l ambiguïté, de telle sorte que la conclusion s impose à tous et que personne ne puisse la réfuter. En ce sens, elle dépasse la simple conviction et s oppose à la rhétorique. Elle est née dans la Grèce antique pour dénoncer les sophismes, qui sont des raisonnements fallacieux exprimés en termes convaincants destinés à défendre un accusé ou condamner un adversaire face à ses juges. L Amérique, aimez la ou quittez la. (America, love it or leave it) Plus il y a de gruyère, plus il y a de trous, mais plus il y a de trous, et moins il y a de gruyère, donc... La logique a besoin de développer son propre langage. La langue naturelle est trop riche. Elle permet d exprimer des appréciations et des sentiments. Il a fallu restreindre la langue naturelle et la rendre formelle, en particulier pour lever les ambiguïtés. La langue formelle permet d exprimer clairement la validité d une déduction de manière irréfutable. En contre-partie elle est appauvrie. Elle ne permet pas d exprimer toutes les subtilités de la langue naturelle. La psychologie est éliminée. La langue formelle n est pas réflexive. Cela signifie qu elle n est pas assez riche pour traiter d elle-même. Les paradoxes sont souvent dus à l auto référence, c est-à-dire un énoncé qui a lui même pour objet. La phrase Je suis fausse est-elle vraie? est-elle fausse? La langue naturelle, elle, est réflexive. La linguistique par exemple, est un discours sur la langue naturelle exprimé dans la langue naturelle. De plus la langue formelle est lourde et impraticable. On utilise en pratique la langue naturelle dans son acceptation logique qui permet de concilier élégance et rigueur. Terminons cette introduction en parcourant quelques domaines qui utilisent la logique. En mathématiques, la logique s inscrit dans les fondements et décrit la façon de mener des déductions rigoureuses. En informatique, le calcul binaire avec des 0 et des 1 est issu du calcul des propositions qui manipule également deux valeurs vrai et faux. Les bases de données utilisent des énoncés logiques comme clé d accès. La logique a été présentée comme l étude des lois de la pensée (Georges Boole) et est particulièrement présente en intelligence artificielle. Un langage de programmation, le Prolog (Programmation logique) est spécialement dédié à la manipulation d énoncés logiques. En linguistique, la logique est beaucoup utilisée pour extraire le sens du discours et étudier son lien avec la façon dont les phrases sont construites. La logique est une composante à part entière de la philosophie dont un des objets est construction du vrai. Dans le domaine du droit, un jugement est une décision de ce qui est considéré comme une vérité juridique. La construction de cette vérité s appuie sur une construction logique. Dans un jugement comme dans un théorème mathématique, la conclusion doit s imposer à tous. La logique est clairement une arme quotidienne du citoyen qui lui permet de défendre son point de vue avec rigueur et de démasquer les sophismes que nous assènent les discours démagogiques et publicitaires.

5 6 Le calcul propositionnel I LE CALCUL PROPOSITIONNEL I.1 Propositions La notion de proposition est une notion primitive, qui n est pas définie de façon formelle. Définition I.1 [Proposition] Une proposition est une phrase dont on peut dire sans ambiguïté qu elle est vraie ou fausse. La qualité d être vraie ou fausse s appelle la valeur de vérité de la proposition. Exemples. Les énonces suivants sont des propositions. Il pleut = 3. Pierre est un imbécile. On ne s intéresse pas à la véritable valeur, qui d ailleurs est parfois impossible à déterminer. Savoir si Pierre est ou non un imbécile est une question d appréciation et de jugement. On s intéresse seulement au fait qu on peut attribuer l une ou l autre valeur, même si on ne sait pas exactement laquelle des deux valeurs attribuer. Par contre, les phrases suivantes ne sont pas des propositions, car il est impossible de dire si elles sont vraies ou fausses. Elles sont éliminées du discours de la logique : Va-t en! Cette phrase est fausse. Je mens toujours. I.2 Propositions simples, propositions composées Une proposition est dite simple, si on ne peut pas la décomposer, c est-à-dire si on ne peut pas trouver une partie stricte qui soit vraie ou fausse. Par exemple, la proposition Pierre et Marie s aiment comprend deux sous-énoncés : Pierre aime Marie et Marie aime Pierre La valeur de vérité d une proposition complexe obéit au principe de composition qui énonce que cette valeur ne dépend que des valeurs de vérité des propositions simples qui la composent. La proposition Pierre et Maie s aiment est vraie si à la fois Pierre aime effectivement Marie, et Marie aime effectivement Pierre. Elle est fausse dans tous les autres cas. Les principes suivant de la logique ont été introduits par Aristote et seront admis dans cette introduction. Principe du tiers exclus : une proposition est soit vraie, soit fausse. Il n y a pas de troisième choix possible. Principe de non-contradiction : une proposition ne peut pas être vraie et fausse à la fois. Si elle est vraie, alors elle n est pas fausse et si elle est fausse, alors elle n est pas vraie. I.3 Connecteurs logiques Les connecteurs logiques sont les opérations qui permettent de construire de nouvelles propositions composées à partir de propositions simples. Les connecteurs sont définis par une table qui donne la valeur de la proposition composée selon les valeurs possibles des propositions simples qui la composent. La table qui définit les valeurs d un connecteur s appelle une table de vérité.

6 I.3 Connecteurs logiques 7 I.3.1. Négation Ce connecteur unaire échange la valeur de vérité. Il se note. p p p V F V F V F Le symbole p désigne n importe quelle proposition simple ou composée. Remarquer que p est une proposition composée qui a la même valeur que la proposition p. La négation de il pleut est il ne pleut pas. Dans la langue naturelle, la négation s exprime par la forme négative ne... pas, ou bien en préfixant l énoncé par il est faux que... I.3.2. Conjonction La conjonction est le connecteur et et se note. La proposition p q est vraie lorsque p et q sont toutes les deux vraies, et fausse dans le cas contraire. La conjonction s exprime aussi en langue naturelle par mais, bien que. Il est parti malgré le froid mais il a oublié ses gants. p q p q V V V V F F F V F F F F Commutativité : La proposition p q a la même valeur que la proposition q p. I.3.3. Disjonction La disjonction est le connecteur ou et se note. La proposition p q est vraie si l une ou l autre des propositions p ou q est vraie, et est fausse si les deux propositions p et q sont fausses. p q p q V V V V F V F V V F F F Exemple. Vous rencontrez quelqu un à une soirée et vous savez qu il déteste marcher sous la pluie. Le ou de la phrase suivante correspond à une disjonction : Il ne pleut pas ou il a pris son parapluie. Parfois la disjonction s exprime par un et dans la langue naturelle. Réduction aux étudiants et aux chômeurs La réduction s applique si l on est un étudiant ou si l on est un chômeur. Commutativité : La proposition p q a la même valeur que la proposition q p. La disjonction est rare en langue naturelle.

7 8 Le calcul propositionnel Une personne vient d apprendre que le femme de son ami logicien vient d accoucher. - alors, c est un garçon ou une fille? demande-t-il. - oui. répond son ami logicien. I.3.4. Ou exclusif Le ou de la langue naturelle correspond le plus souvent au ou exclusif de la logique. Ce dernier se note. La proposition p q est vraie si l une des deux propositions p ou q est vraie, mais pas les deux. Fromage ou dessert p q p q V V F V F V F V V F F F Commutativité : La proposition p q a la même valeur que la proposition q p. I.3.5. Implication logique L implication logique est un connecteur logique, noté = défini par : Définition I.2 [implication logique] la formule p = q a la même valeur que la formule p q. p q p = q V V V V F F F V V F F V L implication logique p = q s exprime dans la langue mathématique par : p implique q Être divisible par 6 implique être pair si p alors q Si un nombre est divisible par 6, alors il est pair p seulement si q Un nombre est divisible par 6 seulement s il est pair p est suffisant pour q Être divisible par 6 est suffisant être pair q est nécessaire pour p Être pair est nécessaire pour être divisible par 6 La proposition S il pleut, alors Jean reste à la maison est fausse si Jean sort sous la pluie, et est vraie dans les autres cas, c est à dire s il ne pleut pas s il pleut et que Jean reste à la maison. L implication logique = est un connecteur entre deux propositions. Il ne signifie pas forcément un lien de causalité entre les propositions qu il connecte. La causalité peut exister : S il pleut alors le sol est mouillé

8 I.3 Connecteurs logiques 9 La causalité peut s exprimer par d autre locutions que si... alors.... Jean boit toujours du vin avec son fromage Mais elle peut aussi être inversée : Si Thomas a gagné à la loterie, alors il a joué Les deux assertions peuvent avoir une cause commune et être indépendantes entre elles : Si les feuilles des arbres commencent à tomber, alors je branche mon chauffage Parfois, il peut n y avoir aucun lien de causalité : Si = 5 alors Paris est la capitale de l Italie L implication peut être utilisée pour appuyer un avis : Si Michel chante bien, alors je veux être pendu! Un énoncé commençant par la conjonction si... peut ne pas correspondre à une implication. À quel connecteur correspond-elle dans les énoncés suivants? Si les mathématiques sont une science, elles ne sont ni un art, ni un jeu Si tu as soif, il y a une bière dans le frigo I.3.6. Contraposée et réciproque Définition I.3 [contraposée] La contraposée de l implication p = q est l implication q = p. Considérons l implication Si Pierre vient à la soirée, alors il ne restera pas de vin La contraposée de cette implications est : S il reste du vin, alors Pierre n est pas venu à la soirée Définition I.4 [réciproque] La réciproque de l implication p = q est l implication q = p. La réciproque de l implication ci-dessus est : S il ne reste pas de vin, alors Pierre est venu à la soirée p q p = q p q q = p q = p V V V F F V V V F F F V F V F V V V F V F F F V V V V V L examen de la table ci-dessus permet d énoncer :

9 10 Le calcul propositionnel Proposition I.5 [propriété de la contraposée] Une implication a toujours la même valeur que sa contraposée. L examen de la table montre aussi qu une implication n a pas toujours la même valeur que sa réciproque. L opérateur = n est pas commutatif. I.3.7. Équivalence logique L équivalence logique se note. ] Définition I.6 [Équivalence logique La proposition p q a la même valeur que la conjonction : (p = q) (q = p). En langue naturelle, l équivalence p q correspond à p équivaut à q. En langage mathématique, cela se dit souvent p si et seulement si q. p q p = q q = p p q V V V V V V F F V F F V V F F F F V V V L équivalence p q est vraie lorsque p et q ont la même valeur de vérité, et est fausse dans le cas contraire. Finalement, l équivalence p q a une valeur contraire de celle du ou exclusif p q. Commutativité : La proposition p q a la même valeur que la proposition q p. I.3.8. Barre de Sheffer La barre de Sheffer se note. Il correspond au connecteur non... et..., que les électroniciens nomment porte nand. p q p q V V F V F V F V V F F V La proposition p q est vraie lorsque p et q ne sont pas simultanément vraies, et faux dans le cas contraire. Ce connecteur exprime que les propositions qu il connecte sont incompatibles. Pour cette raison, ce connecteur s appelle aussi connecteur d incompatibilité. Tous les autres connecteurs binaires peuvent s exprimer à l aide de la barre de Sheffer, par exemple : p a la même valeur que p p. p q a la même valeur que (p q) (p q).

10 II.1 Formule bien construite 11 II LE LANGAGE DES FORMULES PROPOSITIONNELLES Dans cette section, on décrit le langage formel du calcul des propositions. Ce formalisme permet un traitement automatique et élimine toute ambiguïté. Comme tout langage, celui des formules propositionnelles comprend deux aspects : L aspect syntaxique correspond à la façon de bien construire les formules de ce langage, et de reconnaître les formules bien construites. L aspect sémantique décrit sa signification. La signification d une formule correspond à une interprétation qui permet d en établir la valeur de vérité. II.1 Formule bien construite L alphabet du langage des propositions comprend : des symboles p, q, r, s, etc. qui représentent des propositions simples. des symboles V (ou ) et F (ou ) qui représentent les constantes vrai et faux. les symboles des connecteurs logiques,,,, =,,. les parenthèses ( et ). Cet alphabet constitue l ensemble des symboles terminaux du langage des propositions. Une formule du langage des propositions est un mot construit à l aide de cet alphabet. Mais toutes les combinaisons ne sont pas permises. Pour décrire ce qu est une formule bien construite, on utilise une grammaire qui décrit les règles de construction de formules correctes. Pour décrire la grammaire, on utilise un symbole non terminal F qui représente une formule en cours de construction. Les règles de construction d une formule décrivent comment la construire. Pour le traitement automatique, les règles se transcrivent facilement en programme de traitement. Règle 1. Une formule peut être une variable propositionnelle. Cette règle se note F p q r s V F. Cela signifie que la formule en cours de construction 1 F peut simplement être une proposition simple représenté par un symbole p, q, r ou s, ou bien encore une constante vrai ou faux. Règle 2. Une formule peut être la négation d une formule. Cette règle se note F F. Elle signifie qu une formule peut être obtenue à partir d une autre 2 formule en ajoutant le symbole pour signifier la négation de la formule F. La formule p s obtient en appliquant successivement ces deux règles par la dérivation : F 2 F 1 p La première flèche est une dérivation qui utilise la règle 2, et la deuxième flèche est une dérivation qui utilise la règle 1. Voici un autre exemple de dérivation pour la construction de la formule p. F 2 F 2 F 1 p Règle 3. Une formule peut être la connexion de deux formules. Cette règle se note F 3,,, =, ou. ( F op F ), où op représente n importe quel connecteur logique binaire, Ce langage s appelle un langage infixe car on note le connecteur entre les deux formules qu il connecte. Ces deux formules sont les opérandes du connecteur. La formule (p q) s obtient par la dérivation suivante : F 3 (F F) 1 (p F) 1 (p q)

11 12 Le langage des formules propositionnelles Une formule est bien construite si elle peut s obtenir à partir du symbole F par une succession d applications de ces trois règles de ré-écriture. La formule ( (p q) = r) est bien construite. Par contre, la formule p = q = r n est pas bien construite. D ailleurs elle est ambiguë. Elle pourrait signifier (p = q) = r ou p = (q = r) selon qu on décide d appliquer l une ou l autre des implications en priorité. Les parenthèses sont nécessaires autour d un connecteur binaire pour lever toute ambiguïté concernant l ordre d application des connecteurs. II.2 Représentation par arbre L application de chacune des règles de construction d une formule peut se représenter par un arbre, appelé arbre syntaxique de la formule. Le point de départ de la construction de l arbre est l unique symbole non terminal F. Règle 1. La réécriture F p se représente en remplaçant le symbole F, présent dans un arbre 1 F en cours de construction, par la branche p Règle 2. La réécriture F F se représente en remplaçant le symbole F, présent dans un arbre 2 F en cours de construction, par la branche F Règle 3. La réécriture F F F, par exemple, se représente en remplaçant le symbole F, 3 présent dans un arbre en cours de construction, par le sous-arbre F F Une formule bien construite peut ainsi toujours se représenter par un arbre, en remplaçant successivement le symbole non terminal F par le sous-arbre qui correspond à la règle de dérivation qui a conduit à cette formule. La formule : (1) est construite par la dérivation suivante : ( ( r (p q) ) F 3 (F F) 3 (F (F F)) 2 ( F (F F)) 1 ( r (F F)) 1 ( r (p F)) 1 ( r (p q)) En appliquant la réécriture par des arbres, en partant de l unique symbole F, et jusqu à n obtenir que des symboles terminaux, on obtient finalement l arbre suivant pour cette formule : r p q Cette représentation montre bien que cette formule est une conjonction, dont les deux termes sont r et p q.

12 II.3 Évaluation d une formule 13 II.3 Évaluation d une formule Évaluer une formule signifie lui attribuer une valeur vrai ou faux, selon les valeurs des variables qui la composent. Les règles d évaluation suivent les règles de construction de la formule. Règle 1. La valeur d une formule réduite à une proposition simple est celle de la proposition qui la constitue. La valeur d une constante est elle-même. Règle 2. Pour une formule F, la valeur de F est vrai si F a pour valeur faux, et a pour valeur faux si F a pour valeur vrai. Règle 3. La valeur de la formule F 1 op F 2 est obtenue en appliquant le connecteur op aux valeurs des formules F 1 et F 2. Exemple. Dans la formule (1), si r a pour valeur V, p a pour valeur V et q a pour valeur F, on peut attribuer les valeurs suivantes dans son arbre : (= F ) (= F ) (= F ) r = V p = V q = F Avec ces valeurs pour r, p et q, la valeur de la formule (1) est faux. Exercice. Faire une représentation arborescente de la formule : puis l évaluer avec p = F, q = V et r = F. (( p = (r (p q))) r) II.4 Évaluation partielle d une formule Une formule peut se simplifier si on a une connaissance partielle des variables qui la constituent. Les règles données dans le tableau suivant se vérifient aisément par un examen des tables de vérité : Formule Connaissance Formule simplifiée p q p = vrai vrai p = faux p q p = vrai q p = faux faux p q p = vrai q p = faux p q p = vrai q p = faux q p = q p = vrai q p = faux vrai q = vrai vrai q = faux p p q p = vrai q p = faux vrai q = vrai p q = faux vrai q q

13 14 Le langage des formules propositionnelles Ainsi, avec la connaissance p = faux, la formule (1) se simplifie en r q II.5 Notation polonaise préfixe La notation polonaise préfixe a été mise au point par le mathématicien polonais Lukasiewiecz en Elle présente l avantage de ne pas nécessiter de parenthèse pour établir une écriture non ambiguë. Elle est facilement utilisable pour un traitement automatique sur ordinateur. Elle est également intuitive pour un utilisateur humain légèrement entraîné et est encore utilisée sur certaines calculatrices H.P. Les règles de dérivation sont les suivantes : Règle 1. Une formule peut être une variable : F 1 p q r Règle 2. Une formule peut être une négation : F F. 2 Règle 3. Une formule peut être une formule composée par un connecteur op : F op F F 3 Les deux première règles sont identique à celles l écriture infixe usuelle, mais pour écrire une formule composée en notation polonaise préfixe, on note d abord le connecteur, suivi des deux opérandes du connecteur. Cette façon de faire permet de se passer des parenthèses. Considérons la formule en notation polonaise préfixe : p q p q Elle a été obtenue par la succession de règle suivante : F 3 F F 2 F F 3 F F F 3 F F F F 2 F F F F 2 F F F F 1 p q p q La dernière dérivation est une abréviation qui regroupe en fait quatre dérivations de la règle 1 de réécriture d une formule en une variable. En appliquant les règle similaires de la notation usuelle infixe, cette formule se traduit en : L arbre de cette formule est : ( (p q) ( p q)) p q p q L arbre d une formule est représente la suite des règles qui sont appliquées pour produire cette formule. Il représente la signification de la formule, indépendamment de la notation utilisée, quelle soit préfixe ou infixe.

14 III.1 Définitions 15 III TAUTOLOGIES ET CONTRADICTIONS III.1 Définitions Définition III.1 [Tautologies et contradictions] Une tautologie est une formule propositionnelle dont la valeur est toujours vrai, quelles que soient les valeurs des variables qui la composent. Une formule dont la valeur est toujours faux s appelle une contradiction. Exemples. Compléter la table de vérité suivantes : p p p p p p p p = p p p p p p (p p) p p p (p p) V F L examen des tables de vérité fait apparaître des formules dont la valeurs est toujours vrai ou toujours faux. Premières tautologies Principes d identité : p = p et p p Principe du tiers exclus : p p Principe de non-contradiction : (p p) Principe de la double négation : p p Idempotence du et : p p p Idempotence du ou : p p p V est neutre pour et : (p V ) p F est neutre pour ou : (p F ) p V est absorbant pour ou : p V F est absorbant pour et : (F p) Donner un sens à une formule, c est donner une signification aux variables qui la composent, et la signification conduit à leur attribuer une valeur de vérité. Une interprétation d un ensemble de variables est une valeur attribuée à chacune d elles. Une variable a deux interprétations possibles, vrai et faux. Deux variables ont quatre interprétations possibles, trois variables ont huit interprétations possibles, etc. Une tautologie est une formule qui est vraie pour toutes les interprétations des variables qui la composent. Si une formule est toujours vrai alors sa négation est toujours fausse, et réciproquement, ce qui permet d énoncer : Proposition III.2 Les deux énoncés suivants sont équivalents : p est une tautologie et p est une contradiction Par conséquent, toute tautologie permet d énoncer une contradiction, simplement en la niant. On ne s intéressera donc qu aux tautologies. La proposition III.2 n est pas un énoncé du langage des proposition, mais un énoncé de la langue naturelle qui traite de propriétés du langage des propositions. Les symboles V et désignent des tautologies, c est-à-dire des formules qui sont toujours vraies. Les symboles F et désignent des contradiction, c et-à-dire des formules qui sont toujours fausses.

15 16 Tautologies et contradictions III.2 Définition des principaux connecteurs La définition d un nouveau connecteur énonce une tautologie par équivalence avec une formule qui ne comprend que des connecteurs déjà définis. Les propositions ci-après sont donc des tautologies par définition. Définition de l implication : (p = q) ( p q) Définition de l équivalence (p q) ( (p = q) (q = p) ) Définition du ou exclusif. (p q) (p q) Définition de la barre de Sheffer. (p q) (a b) III.3 Méthode sémantique Une première méthode pour montrer qu une formule est une tautologie est de calculer sa table de vérité et de vérifier que la valeur est toujours vrai. Cette méthode montre qu une formule est une tautologie en calculant toutes les valeurs possibles. Il s agit d une méthode sémantique, car elle établit la vérité d une formule pour toutes les interprétations possibles des variables. Par exemple, montrons la loi de De Morgan qui énonce que (2) (p q) ( p q) est une tautologie Pour cela, complétons la table de vérité suivante : p q p q (p q) p q p q V V F F V F V F De même, montrons l associativité de la loi. Pour cela, compléter la table de vérité suivante : p q r (p q) (p q) r (q r) p (q r) complète. V V V V V F V F V V F F F V V F V F F F V F F F Cette méthode peut devenir rapidement impraticable si le nombre de variables devient trop grand. Ajouter une seule variable multiplie par deux le travail pour effectuer une vérification Exercices. Montrer, par une méthode sémantique, que les formules suivantes sont des tautologies commutativité de : (p q) (q p) commutativité de : ((p q) )(q p) ( ) associativité de ( (p q) r ) ( p (q r) ) distributivité de sur : ( (p q) r ) ( (p r) (q r) ) distributivité de sur : (p q) r (p r) (q r)

16 III.4 Méthode syntaxique 17 III.4 Méthode syntaxique Une tautologie apparaît comme une vérité universelle, indépendante du contexte, de la valeur ou de l interprétation des variables qui la composent. La vérité d une tautologie doit apparaître dans la formule elle-même et non pas dans les valeurs particulières de ses variables. Par exemple, une formule comme (p p) est une tautologie du fait même de la définition du connecteur. Elle est vraie en raison de son écriture même, sans avoir à préjuger d une signification pour la variable p. Les méthodes syntaxiques s appuient sur l écriture de la formule pour établir son caractère tautologique ou contradictoire. Elles reposent sur le principe de substitution, qui est une règle de ré-écriture. Proposition III.3 [principe de substitution] Soient A, B et C trois formules propositionnelles. Si A B est une tautologie et si A apparaît comme une sous-formule de C, alors la formule obtenue en remplaçant toute occurrence de A par B dans la formule C est une formule qui a la même valeur que C. Exemple. La définition du connecteur = stipule que la formule suivante est une tautologie : (p = q) }{{} A ( p q) }{{} B La formule C, égale à (p = q), est de la forme A. Elle a donc la même valeur que B qui est ( p q). Pour montrer qu une formule est une tautologie par une méthode syntaxique, on applique le principe de substitution à cette formule pour en déduire une formule équivalente à vrai. Exemples. 1. Montrons que la formule C, égale à ( (p q) ( p q) ) est une tautologie. Remplacer p par p dans la loi de De Morgan (2) montre que la formule suivante est une tautologie : ( p q) ( p q) Par la double négation, on a p p, ce qui permet de remplacer p par p dans cette formule et d établir que la formule suivante est une tautologie : ( p q) (p q) Remplaçons maintenant ( p q) par (p q) dans la formule C. Cela montre que C a la même valeur que ( (p q) (p q) ) Cette formule est de la forme A A qui est une tautologie par le principe de non contradiction. 2. Montrons que la formule ( p = (q = p) ) est une tautologie. Pour cela, écrivons des formules équivalentes par substitution et montons que la formule vaut V : ( ) définition de la première implication ( p (q = p) ) définition de la deuxième implication ( p ( q p) ) commutativité de ( p (p q) ) associativité de ( p p) q principe de non contradiction (V q) élément absorbant V

17 18 Tautologies et contradictions 3. Montrons le principe de contraposition qui énonce que la formule ( (p = q) = ( q = p) ) est une tautologie. On procède par substitution comme ci-dessus. ( ) définition des implications ( ( p q) ( q p) ) loi de De Morgan ( ( p q) ( q ) p) double négation ( (p q) (q p) ) associativité du ( ((p q) q) p ) distributivité du sur le ( ((p q) ( q q) ) p principe du tiers exclus ( ((p q) V ) p élément neutre pour ( (p q) p ) associativité et commutativité du (p p) q principe du tiers exclus (V q) élément absorbant V III.5 Quelques tautologies usuelles III.5.1. Lois classiques Double négation p p Principes d identité (p = p) (p p) Principe du tiers exclus (p p) Principe de non-contradiction (p p) III.5.2. Tautologies concernant et Idempotence p (p p) p (p p) Commutativité ((p q) )(q p) ( ) (p q) (q p) Associativité ( (p q) r ) ( p (q r) ) ( (p q) r ) ( p (q r) ) Distributivité ( p (q r) ) ( (p q) (q r) ) p (q r) (p q) (q r) Lois de De Morgan (p q) ( p q) (p q) ( p q) (p q) ( p q) (p q) ( p q) Absorption (p V ) V (p F ) F Élement neutre (p V ) p (p F ) p III.5.3. Définition des principaux connecteurs Implication (p = q) ( p q) Équivalence (p q) ( (p = q) (q = p) ) Barre de Sheffer (p q) (p q) III.5.4. Tautologies concernant l implication Contraposition ((p = q) )( q = p) Modus ponens ( p (p = q) ) = q Modus tollens q (p = q) p Réfutation par l absurde ((p = p) = p ) ( (p = q) (p = q) ) = p Transitivité (p = q) (q = r) = (p = r) Certaines de ces tautologies correspondent aux définitions des connecteurs et n ont pas à être démontrées. D autres peuvent se déduire de tautologies précédemment établies par une démonstration syntaxique utilisant le principe de substitution. Un problème de la logique est de définir un ensemble minimal de tautologies admises qui permet de déduire toutes les autres.

18 IV.1 Ensemble consistant de formules 19 IV RAISONNEMENTS ET INFÉRENCES Ce paragraphe présente les façons de construire de nouvelles propositions à partir de propositions qui sont admises. Un des objet de la logique est de savoir si des déductions sont valides ou non. IV.1 Ensemble consistant de formules Considérons les trois témoignages suivants concernant un fait divers au cours duquel un des protagoniste est coupable d on ne sait quel méfait : Philippe : Quentin est coupable, Roger n a rien à voir là dedans. Quentin : Si Philippe a fait le coup, alors Roger est innocent. Roger : Je suis innocent, mais l un des deux autres est coupable. Traduisons tout d abord les trois propositions énoncées dans ces témoignages. p : Philippe est coupable q : Quentin est coupable r : Roger est coupable Les trois témoignages peuvent s exprimer à l aide de formules propositionnelles. Notons P le témoignage de Philippe, Q celui de Quentin et R celui de Roger. Les informations récoltées s expriment par les formules : P : q r Q : p = r R : r (p q) Le problème de l enquêteur est de trouver s il peut trouver un ou plusieurs coupables qui soient compatibles avec ces trois témoignages. En d autres termes, peut-il attribuer une valeur aux trois propositions simples p, q et r de telle sorte que les trois formules P, Q et R soient vraies? Définition IV.1 [Interprétation] Pour une liste de variables (p 1,... p n ) de propositions, une interprétation de ces variables est une attribution d une valeur vrai ou faux à chacune d elles. La notion d interprétation permet de reformuler les définitions de tautologie, de contradiction et de formules équivalentes. Une tautologie est une formule qui prend la valeur vrai pour toute interprétation des variables qui la composent. Une contradiction est une formule qui prend la valeur faux pour toute interprétation des variables qui la composent. Deux formules sont équivalentes si elles prennent la même valeur pour toute interprétation des variables qui la composent. Ce que cherche l enquêteur est finalement une interprétation à ses trois propositions simples qui désignent un coupable. Dressons la table de vérité de ces variables :

19 20 Raisonnements et inférences p q r P = q r Q = p = r R = r (p q) V V V F F F V V F V V V V F V F F F V F F F V V F V V F V F F V F V V V F F V F V F F F F F V F On observe que deux des lignes de cette table rendent vrais tous les témoignages. L inspecteur, s il fait confiance aux trois témoignages, ne peut retenir que deux hypothèses : Philippe et Quentin sont coupables et Roger est innocent, ou Quentin est coupable, Philippe, Roger sont innocents Cet exemple illustre la définition suivante : Définition IV.2 [Ensemble consistant de formules] On dit qu un ensemble de formules est consistant s il existe au moins une interprétation qui donne la valeur vrai à toutes les formules ; Cette définition peut se formuler différemment. Proposition IV.3 [Propriété caractéristique d un ensemble consistant de formules] Dire qu un ensemble de formule est consistant revient à dire, de manière équivalente, que leur conjonction n est pas une contradiction. Preuve. Dire que leur conjonction n est pas une contradiction signifie qu il existe une interprétation qui ne donne pas la valeur faux à cette conjonction, et donc que toutes les formules sont vraies pour cette interprétation. Exemple. Considérons les formules ( p q) et (p q). Compléter la table suivante. p q ( p q) (p q) (p q) ( p q) V V F F V F V F L ensemble de ces formules est-il consistant? IV.2 Inférences et déductions Une inférence est une opération qui consister à tirer une conclusion à partir d un ensemble de propositions tenues pour vraies qui sont appelées prémisses. Une inférence se note ainsi : A 1,..., A n }{{} prémisses B }{{} conclusion

20 IV.2 Inférences et déductions 21 On dit indifféremment : B est une conséquence de A 1,... et A n B se déduit de A 1,... et A n A 1,... et A n infèrent B La question est de savoir quand une telle déduction est valide, et quand elle ne l est pas. Définition IV.4 [Inférence valide] On dit que l inférence A 1,..., A n B est valide si pour toute interprétation qui rend vraies les prémisses A 1,..., A n, la formule B est vraie. On dit également que B est une conséquence valide de A 1,... et A n. Exemples. En reprenant l exemple de Philippe, Quentin et Roger, on peut affirmer que si les trois témoignages P, Q et R sont vrais alors Quentin est coupable et Roger est innocent. Les inférences suivantes sont donc valides : P, Q, R q P, Q, R r Par contre, l inférence P, Q, R p n est pas valide, car l interprétation p = faux, q = vrai et r = faux rend vrai les prémisses, mais fausse la conclusion. Lorsqu on note A 1,..., A n B, sans autre précision, on sous-entend toujours que l inférence est valide, et donc que la conclusion B est une conséquence valide des prémisses A 1,..., A n. On peut peut étendre la définition des inférences avec un ensemble vide de prémisses. Définition IV.5 [tautologie] Dire que l inférence sans prémisse : est valide signifie que la formule T est une tautologie. Le théorème qui suit donne une façon simple et générale de vérifier qu une inférence est valide. Il permet de vérifier la validité d un raisonnement à partir d un calcul sur une formule propositionnelle. Théorème IV.6 [caractérisation des inférences valides] Dire que l inférence A 1,..., A n B est valide signifie que l implication (A 1 A n ) = B est une tautologie. En d autres termes, dire qu une inférence est valide signifie que la conjonction des prémisses implique toujours la conclusion. Preuve. Supposons que l inférence A 1,..., A n B est valide et une interprétation quelconque. Si tous les A i sont vrais, alors, l inférence étant valide, B est vrai, et pour la même raison, si l un des A i est faux, alors B est faux. Dans les deux cas, l implication (A 1 A n ) = B est vraie. Réciproquement, si l implication (A 1 A n ) = B est une tautologie, alors il n existe aucune interprétation qui rend vraie la conjonction A 1 A n et faux B, ce qui signifie par définition que l inférence A 1,..., A n B est valide. T

21 22 Raisonnements et inférences IV.3 Règles d inférence IV.3.1. Modus ponens Rappelons que la formule suivante est une tautologie : (3) ( (p (p = q) ) = q. On en déduit que l inférence suivante : est valide. p, (p = q) q Cette inférence signifie que si on admet p, et que q découle de p, alors on doit admettre q. Ainsi la tautologie (3) conduit à une règle d inférence. Cette règle s appelle le modus ponens, expression latine qui signifie le mode qui affirme. IV.3.2. Modus tollens Le formule suivante est également une tautologie : ( q (p = q) ) = p Cette tautologie permet d établir que l inférence suivante est valide : q, (p = q) p. Cela s interprète en énonçant que si on réfute q et si q est une conséquence de p, alors on doit réfuter p. Cela est également intuitif, car en effet, si p était avéré, alors, d après le modus ponens, la proposition q le serait aussi, ce qui contredit notre supposition.cette règle d inférence s appelle le modus tollens, expression latine qui signifie le mode qui réfute. IV.3.3. Autres règles Toute tautologie qui fait intervenir l implication conduit à une façon de construire une inférence valide. Chacune des formules suivante est une tautologie et conduit à une règle d inférence : tautologie inférence interprétation ( ) (p = p) = p (p = p) p Si p entraîne sa propre négation, alors il doit être réfuté ( ) p = (q = p) p (q = p) Si p est admis, il découle de tout ( ) p = (p = q) p (p = q) Si p est réfuté, il entraîne tout ( ) ( p = p) = p p = p p Si p découle de sa propre négation c est qu il est vrai. ( ) (p q) (p q) = p (p q), (p q) p Si q et son contraire découlent de p, alors on doit réfuter p. ( ) ( p q) ( p q) = p ( p q), ( p q) p Si la négation de p entraîne le vrai comme le faux, c est que p est vrai.

22 V.1 Fonction booléenne 23 V FORMES NORMALES V.1 Fonction booléenne Rappelons qu une variable propositionnelle est une variable qui peut prendre deux valeurs : vrai ou faux. En logique, la valeur d une variable propositionnelle s appelle une interprétation. Un ensemble de n variables propositionnelles admet 2 n interprétations possibles. Définition V.1 [Fonction booléenne] Une fonction booléenne de n variables propositionnelles est un procédé, qui à chacune des 2 n interprétations possibles de ces n variables, associe une valeur vrai ou faux. Se donner une fonction booléenne de n variables revient à se donner une table de vérité de 2 n valeurs. Exemple : p q r f(p, q, r) V V V F V V F V V F V F V F F F F V V F F V F V F F V F F F F V V.2 Logique et nombres Les calculs numériques sur ordinateurs sont réalisés avec des circuits logiques. En électronique numérique, toute valeur numérique se représente à l aide de 0 et de 1. Les nombres entiers se représentent en numération binaire comme une séquence de 0 et de 1. Par exemple : 6 10 = L indice indique la base de numération 5 10 = = = Lorsqu on fait correspondre la valeur vrai au chiffre 1 et la valeur faux au chiffre 0, tous les connecteurs logiques s interprètent comme des opérations numériques. a b a b a b a b a b a b

23 24 Formes normales Les connecteurs peuvent s écrire avec une formule numérique faisant intervenir les opérations arithmétiques usuelles, addition, soustraction, multiplication : a b = a b a b = a + b 2ab a b = a + b ab a b = 1 a + ab = 1 si et seulement si a b a b = 1 (a b) 2 A contrario les opérations numériques peuvent trouver une interprétation logique : a b a + b 2a + b 3(2a + b) Ainsi on peut observer que le premier chiffre de la somme a+b vaut a b et que le deuxième chiffre, celui des unités, vaut a b. Exercice. Trouver une interprétation logique des chiffres binaires du résultat de 2a + b et de 3(2a + b). V.3 Forme normale disjonctive Étant donnée une formule propositionnelle, on peut dresser sa table de vérité et ainsi définir une fonction booléenne qui lui correspond. Ce paragraphe répond à la question inverse : Existe-t-il une formule propositionnelle qui prend les mêmes valeur qu une fonction booléenne donnée? Peut-on réaliser une fonction booléenne avec les connecteurs, et? La suite du paragraphe répond par l affirmative à ces deux questions. Cela permet de conclure tous les calculs numériques peuvent se réaliser avec des fonctions booléennes, et que ces fonctions peuvent se réaliser à l aide de circuits logiques. Définition V.2 [conjonction de variables] Une conjonction de variables est une formule où n apparaissent que des variables ou leur négation, reliées par le connecteur. Par exemple p q r est une conjonction de variables. Noter que, comme le connecteur est associatif, on peut sans ambiguïté omettre les parenthèses. La formule p q r n est vraie que si p = V, q = V et r = F. Reprenons la fonction booléenne du paragraphe V.1. En considérant toutes les lignes où cette fonction prend la valeur vrai, il est possible d exprimer la valeur de f(p, q, r) comme un ou entre autant de conjonctions de variables : f(p, q, r) = (p q r) ( p q r) ( p q r). Une telle écriture s appelle une forme normale disjonctive (FND) de la fonction booléenne f.

24 V.4 Méthode syntaxique 25 Définition V.3 [Forme normale disjonctive] Une forme normale disjonctive est une formule constituée d une disjonction de zéro, une ou plusieurs conjonctions de variables ou de leur négation. Un usage est de simplifier les notations. L opérateur est omis, comme le signe est omis dans un produit, et la négation de p se note p. Ainsi, l écriture simplifiée de la forme normale disjonctive de la fonction f est : f(p, q, r) = p q r p q r p q r Une forme normale disjonctive peut n être formée que d une seule conjonction : pqr. Dans une forme normale disjonctives, les conjonctions peuvent n être constituées que d une seule variable : p q r. La méthode exposée ci-dessus, qui consiste à écrire une formule comme une disjonction de conjonctions qui correspondent aux lignes de la table de vérité où la formule est vraie, est toujours applicable, ce qui permet d énoncer : Proposition V.4 Toute formule est équivalente à une forme normale disjonctive. La forme normale disjonctive n est pas unique. Par exemple, la forme normale disjonctive a b a b se simplifie par distributivité en a (b b) = a = a, qui est aussi une forme normale disjonctive. De manière similaire, on peut vérifier que les deux formules p q p q p q et q p q sont deux formes normales disjonctives équivalentes. Les formes normales disjonctives les plus intéressantes du point de vue pratique sont les plus courtes, car elles permettent de réaliser des calculs de manière plus efficace. Le problème de trouver la forme la plus compacte est un problème difficile et est l objet de nombreuses recherches. V.4 Méthode syntaxique La méthode des tables de vérité peut s avérer très lourde dès que le nombre de variables propositionnelles dépasse quatre ou cinq. La table comporte alors respectivement 16 et 32 lignes. On présente ci-après une méthode syntaxique sur un exemple. Exemple : Trouver une forme normale disjonctive de la formule : ( (p q) r ). La méthode comprend trois étapes : 1) En utilisant les définitions des connecteurs, traduire en une formule qui n utilise que, et. ( ( p q) r ) 2) Utiliser les lois de De Morgan jusqu à ce que toutes les négations ne portent que sur des variables. On simplifiera les doubles négations. ( (p q) r ) (p q) r ( p q) r 3) Appliquer la distributivité pour faire sortir les et faire rentrer les. ( p r) (q r) = p r q r

25 26 Méthode des arbres VI MÉTHODE DES ARBRES VI.1 Construction graphique d une forme normale disjonctive La méthode des arbres est une méthode graphique pour trouver une forme normale disjonctive d une formule. Cette méthode permet également de décider si une formule donnée est ou non une contradiction. En appliquant la méthode à la négation d une formule, on peut également décider si elle est ou non une tautologie. La disjonction A B de deux formules se représente par une ramification de deux branches ouvertes : A B La conjonction A B de deux formules se représente par une branche unique sur laquelle figurent les deux formules A et B. A B Exemple. La forme disjonctive F = p q p q se représente par l arbre : p q La valeur d une formule se lit sur l arbre en appliquant la règle suivante : Pour qu une formule soit vraie, il suffit que toutes les variables d une branche soient vraies, en tenant compte d une éventuelle négation. Réécriture des connecteurs. p q A B (A B) (A B) (A B) A B A B A B A B A B A A B B Exemples. 1. Développer l arbre de la formule A = ( p (q r) ). La méthode consiste à développer successivement toutes les formules conformément au tableau ci-dessus jusqu à n obtenir que des variables ou leur négation. p (p r) q r Une conjonction de la forme normale disjonctive correspond à une branche dans l arbre depuis la racine jusqu à une feuille. Cet arbre correspond à la forme normale disjonctive : A = p q p r.

26 VI.2 L arbre de réfutation Développer l arbre de la formule B = p (p q). p p q p q Une branche qui contient une variable et sa négation est appelé une branche fermée. Cela correspond à une contradiction p p. Elle peut être supprimée de la forme normale disjonctive. B = p q 3. Développer la formule C = ( (p (q r) = ( q (r p) )). p (q r) q (r p) p q r q q r r Cet arbre conduit à la forme normale disjonctive suivante : C = p q r p q r q r p q (r p) Si toutes les branches de l arbre d une formule sont fermées, alors cette formule est une contradiction. Ainsi, pour vérifier qu une formule est une contradiction, il suffit de vérifier que son arbre ne comprend que des branches fermées. Si toutes les branches ne sont pas fermées, c est qu il existe une interprétation des variables qui rend vraie la formule. On dit dans ce cas que la formule est satisfiable. Pour vérifier qu une formule est une tautologie, il suffit vérifier que sa négation est une contradiction. Conseil. Traiter en priorité les formules qui n ouvrent pas de branche. r p VI.2 L arbre de réfutation La méthode des arbres peut s appliquer pour vérifier la validité d un raisonnement. Prenons par exemple le raisonnement suivant : Quand un accident survient sur la course, les journalistes en parlent. Si il y a un accident sur la course et que les journalistes en parlent, alors les sponsors sont inquiets. Un accident survient. Donc les sponsors sont inquiets. Ce raisonnement comprend trois prémisses et une conclusion. Notons les propositions simples de ce raisonnement : p : Un accident survient. q : Les journalistes en parlent. r : les sponsors sont inquiets.

27 28 Méthode des arbres Les trois prémisses sont : A : p = q B : (p q) = r C : p La conclusion est : D = r. Le raisonnement s écrit : (4) A, B, C D. Pour vérifier sa validité, il faut montrer que la formule : (5) A B C = D est une tautologie. Cela revient à montrer que la négation de cette formule est une contradiction. Or la négation de la formule (5) est : (6) A B C D Finalement, pour montrer qu un raisonnement est valide, il suffit de montrer que la conjonction des prémisses et de la négation de la conclusion est une contradiction. L arbre construit à partir de ces formules s appelle un arbre de réfutation. Montrer qu il s agit d une contradiction revient à montrer qu il n existe aucune interprétation qui rend les prémisses vraies et qui rend la conclusion fausse. On ne peut pas réfuter la conclusion. La conclusion s impose donc. Construisons cet arbre : p q (p q) r p r p q (p q) r p q Dans cet arbre, toutes les branches sont fermées. La formule (6) est bien une contradiction. Le raisonnement (4) est valide.