La logique É.FAVIER Master SIG Année universitaire 2007-2008
Sommaire 1 Introduction Définition algèbres de Boole binaires 2 Les Opérateurs logiques 3 les lois de la logique 4 Utilisation en informatique
L Histoire Georges Boole(1815-1864) Ce n est qu en 1835 que Georges Boole commence à étudier les mathématiques, après une formation littéraire (où il excellait, notamment en latin). En 1840, il débute ses propres recherches, notamment dans le domaine de la logique, qui était à l époque considérée comme une branche de la philosophie, relativement proche de la métaphysique.
L Histoire Georges Boole(1815-1864) En 1849, Georges Boole publie un article intitulé «The mathematical analysis of logic» où il démontre que la logique peut être transcrite en équations algébriques. Avant lui, Leibniz avait vainement essayé d établir les fondements mathématiques de la logique.
L Histoire Georges Boole(1815-1864) En 1854, il publie «An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities», autre article fondamental où il introduit ce qui sera appelé ensuite l algèbre de Boole.
Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, ces opérations devant vérifier un certain nombre d axiomes.
Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, d une opération binaire appelée somme booléenne (notée +), ces opérations devant vérifier un certain nombre d axiomes.
Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, d une opération binaire appelée somme booléenne (notée +), d une opération binaire appelée produit booléen (noté ), ces opérations devant vérifier un certain nombre d axiomes.
Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, d une opération binaire appelée somme booléenne (notée +), d une opération binaire appelée produit booléen (noté ), d une opération unaire appelée négation (notée ), ces opérations devant vérifier un certain nombre d axiomes.
Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations.
Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie.
Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère.
Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère. Un axiome est une proposition vraie pour tous les objets d une théorie.
Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère. Un axiome est une proposition vraie pour tous les objets d une théorie. Un théorème est une proposition vraie.
Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère. Un axiome est une proposition vraie pour tous les objets d une théorie. Un théorème est une proposition vraie.
algèbres de Boole binaires définition Algèbre de Boole binaire ({0, 1}, +,, ) est une algèbre de Boole binaire.
algèbres de Boole binaires Électronique : Définition On utilise une algèbre de Boole binaire ({0, 1}, ou, et, non) qui fonctionne exactement comme celle de la logique. Cette algèbre présente la particularité d être mise en œuvre physiquement dans les composants électroniques.
algèbres de Boole binaires les Principes de bases Les propositions Les propositions obéissent aux règles suivantes : principe de non-contradiction : une proposition ne peut être à la fois vraie et fausse («Je mens» n est pas une proposition) ;
algèbres de Boole binaires les Principes de bases Les propositions Les propositions obéissent aux règles suivantes : principe de non-contradiction : une proposition ne peut être à la fois vraie et fausse («Je mens» n est pas une proposition) ; principe du tiers-exclu : une proposition ne peut être que vraie ou fausse («Demain, il fera beau» n est pas une proposition).
algèbres de Boole binaires Les connecteurs logiques Définitions es opérateurs et, ou et non sont également appelés connecteurs logiques. On a d autres connecteurs logiques, élaborés à partir de ces trois connecteurs de base.
algèbres de Boole binaires Les connecteurs logiques Définitions es opérateurs et, ou et non sont également appelés connecteurs logiques. On a d autres connecteurs logiques, élaborés à partir de ces trois connecteurs de base. Les connecteurs logiques permettent de construire des propositions «complexes» à partir de propositions «simples» et sont définis par leur table de vérité.
Sommaire 1 Introduction 2 Les Opérateurs logiques La négation (non) La conjonction (et) La disjonction inclusive (ou) 3 les lois de la logique 4 Utilisation en informatique
La négation (non) Le Non Table de vérité du Non P vrai faux non P faux vrai
La conjonction (et) Le Et Table de vérité du Et P Q P et Q vrai vrai vrai vrai faux faux faux vrai faux faux faux faux
La disjonction inclusive (ou) Le Ou Table de vérité du Ou P Q P ou Q vrai vrai vrai vrai faux vrai faux vrai vrai faux faux faux
Sommaire 1 Introduction 2 Les Opérateurs logiques 3 les lois de la logique Lois de De Morgan Ou exclusif La disjonction exclusive (ou exclusif) L implication ( si P, alors Q ) L équivalence ( P si et seulement si Q ) 4 Utilisation en informatique
Lois de De Morgan Les lois de De Morgan Lois de De Morgan (non (P et Q)) = ((non P) ou (non Q)) (non (P ou Q)) = ((non P) et (non Q))
Ou exclusif Le Ou exclusif Table de vérité du Ou exclusif P Q P xor Q vrai vrai faux vrai faux vrai faux vrai vrai faux faux faux
Ou exclusif Le Ou exclusif Table de vérité du Ou exclusif P Q P xor Q vrai vrai faux vrai faux vrai faux vrai vrai faux faux faux Remarque : (P xor Q) = ((P ou Q) et (non (P et Q)))
L implication ( si P, alors Q ) L implication L implication P Q P Q vrai vrai vrai vrai faux faux faux vrai vrai faux faux vrai
L implication ( si P, alors Q ) L implication L implication P Q P Q vrai vrai vrai vrai faux faux faux vrai vrai faux faux vrai Remarque : (P Q) = (Q ou (non P))
L équivalence ( P si et seulement si Q ) L équivalence logique L équivalence logique P Q P Q vrai vrai vrai vrai faux faux faux vrai faux faux faux vrai
L équivalence ( P si et seulement si Q ) L équivalence logique L équivalence logique P Q P Q vrai vrai vrai vrai faux faux faux vrai faux faux faux vrai Remarque : (P Q) = ((P Q) et (Q P))
Sommaire 1 Introduction 2 Les Opérateurs logiques 3 les lois de la logique 4 Utilisation en informatique
La logique & l informatique L utilisation Nous aurons besoin de cette algèbre de Boole lorsque nous utiliserons des langages évolués, qui permettent d écrire des conditions où apparaissent les connecteurs logiques et, ou et non. Dans les langages structurés, on utilisera en particulier les règles de De Morgan. pour écrire la condition d une structure de contrôle à partir de l état final souhaité (voir deuxième partie du cours).