` la logique, ENS, 2012-13 Introduction a

e Cours n 2 P. Egr

` la logique Introduction a
Cours n 2: logique propositionnelle

Objectifs de cette s eance de cours

- un aperc u de la logique de Boole avant Frege - syntaxe et s emantique de la logique propositionnelle - ma triser le sens de et, ou, si...alors, ne...pas tre a ` laise avec la traduction en logique propositionnelle -e - ma triser lalgorithme d evaluation des formules NB1. La fois derni` ere nous avons insist e sur limportance de la notion dargument valide en logique. Aujourdhui, nous d ecouvrons deux aspects de la logique formelle contemporaines: la syntaxe dune part, et la s emantique de lautre. Nous reviendrons la semaine prochaine sur la notion de validit e comme sur celle de cons equence logique. NB2. Que lire? Si vous ne devez utiliser quun seul trait e, procurez vous le manuel de Lepage, et lisez le chapitre 1 en compl ement de ce cours dici la semaine prochaine.

La logique de Boole et les lois de la pens ee

En 1847, Boole publie The mathematical analysis of logic, sous-titr e being an essay toward a calculus of deductive reasoning. Louvrage de Boole est tr` es important dans lhistoire de la logique, y compris pour appr ecier le projet de Frege lui-m eme. A la diff erence de Frege un peu plus tard, Boole garde le format aristot elicien danalyse des syllogismes dans un premier temps, nonc mais il propose aussi une th eorie des e es hypoth etiques (conditionnels).

2.1

Les op erations de classes

La caract eristique de lapproche de Boole est son caract` ere alg ebrique, et le fait quil sagit dabord dune logique de termes ou classes (au sens dAristote). Boole consid` ere que son ap` d proche vise a ecrire la mani` ere dont nous manipulons mentalement des classes. Boole utilise des symboles de classes: x, y, z . Par exemple: x peut repr esenter la classe des hommes. Le symbole 1 repr esente: lUnivers, comme comprenant toute classe concevable dobjets existant r eellement ou pas. Le symbole d egalit e repr esente l egalit e de classes: x = y signie en gros: Tous les X sont des Y et r eciproquement. Le symbole + repr esente lunion disjointe des deux classes X et Y .

1/6

` la logique, ENS, 2012-13 Introduction a

e Cours n 2 P. Egr

Le symbole de produit (concat enation de deux variables) xy repr esente la s election de la classe X suivie, au sein de la classe X , par la s election des Y , soit lintersection de X et Y nonce d` Boole e es le d ebut de son trait e trois lois importantes: x(u + v ) = xu + xv xy = yx xn = x galement besoin de la n Boole a e egation: la classe non-X est repr esent ee par 1 x

2.2

nonc Les e es aristot eliciens

1. Tous les X sont des Y : xy = x, ou encore x(1 y ) = 0 2. Aucun X nest un Y : xy = 0 nonc Jusque l` a tout va bien. Mais les choses se compliquent pour repr esenter les e es particuliers. Boole propose: 3. Quelques X sont des Y Si quelques X sont des Y , il y a des termes communs aux classes X et Y . Con` laquelle on fera corresid erons que ces termes constituent une classe s epar ee V , a spondre un symbole v , alors: v = xy Et comme v inclut tous les termes communs aux classes X et Y , nous pouvons indiff eremment linterpr eter comme Quelques X ou Quelques Y . 4. Quelques X ne sont pas des Y : v = x(1 y )

2.3

Evaluation

1. La logique de Boole simule en r ealit e des op erations ensemblistes comme celles que nous avons vues la semaine derni` ere: intersection, inclusion, compl ement notamment. On y trouve une th eorie sous-jacente des connecteurs logiques. 2. Mais le traitement des expressions de quantication semble imparfait, notamment pour traiter de la quantication particuli` ere (que nous appellerons bient ot existentielle). 3. Une diff erence importante entre lapproche de Boole et celle que nous allons voir est que Boole symbolise des op erations sur des termes (ou classes), alors que Frege en logique propositionnelle lui symbolise des op erations sur des phrases. Nous verrons prochainement quil y a un lien entre ces deux perspectives.

2/6

` la logique, ENS, 2012-13 Introduction a

e Cours n 2 P. Egr

3
3.1

La logique propositionnelle
Arri` ere-plan fr eg een

Frege 1879 propose une th eorie de la notion de jugement et propose de distinguer entre: A (la proposition que A est vraie: assertion) A (la proposition que A: contenu du jugement) Voici ce qu ecrit Frege (2): Posons par exemple que A signie le jugement: les p oles magn etiques oppos es sattirent mutuellement; ainsi A nexprime pas ce jugement, mais doit simplement provoquer lid ee de lattraction mutuelle des p oles magn etiques oppos es chez le lecteur (...) Dans ce cas, nous paraphrasons par les mots: la circonstance que, la proposition que. Dans ma repr esentation dun jugement, une distinction entre sujet et pr edicat na pas lieu. Certes, si lon veut, il est aussi possible de distinguer ici le sujet du pr edicat, mais alors le sujet contient tout le contenu, et le pr edicat a pour seul but de le pr esenter comme jugement. Une telle langue naurait quun seul pr edicat pour tous les jugements, a ` savoir: est un fait.

3.2
3.2.1

Syntaxe de la logique propositionnelle

Alphabet

Parenth` eses: (, ) Connecteurs: , , , , Symboles propositionnels ou atomes: p, q, r, ... 3.2.2 Formules ou expressions bien form ees

On d enit les expressions bien form ees ou formules de la logique propositionnelle par induction comme suit. Une formule F est: - soit un atome: p (ex. il pleut) - la n egation A dune formule A (ex. il ne pleut pas) - la conjonction (A B ) de deux formules A et B (ex. il pleut et il fait froid) - la disjonction (A B ) de deux formules A et B (ex. il pleut ou il fait froid) - le conditionnel mat eriel (A B ) de deux formules A et B (sil pleut alors il fait froid) - le biconditionnel mat eriel (A B ) de deux formules A et B (il pleut si et seulement si il fait froid) - rien dautre nest une formule 3/6

` la logique, ENS, 2012-13 Introduction a

e Cours n 2 P. Egr

3.2.3

Exemples

1. (p (p q )) 2. ((p q ) (q r)) 3. ((p q ) (q p)) Est-ce que (p est une formule? Et p(r)? 3.2.4 Arbre de d erivation dune formule

Pour toute formule propositionnelle, on peut construire son arbre de d erivation syntaxique (voir exemple au tableau). On appelle connecteur principal de la formule celui qui est situ e le plus haut tre syntaxiquement ambigu dans larbre. Noter quune phrase du franc ais peut e e. La logique ch propositionnelle permet, le cas e eant, de d efaire les ambigu t es: (1) (2) Pierre viendra et Marie viendra ou Suzanne ne viendra pas a. b. (p q ) r p (q r)

avec: p: Pierre viendra; q : Marie viendra; r: Suzanne ne viendra pas ` d Les parenth` eses servent a esambigu er les formules. Nous nous permettons ici domettre les crire: p q au lieu de (p q ). parenth` eses quand il ny a pas dambigu t e, par exemple, on pourra e

3.3

S emantique: les tables de v erit e

La syntaxe dun langage, formel ou articiel, concerne les r` egles de bonne formation des phrases de ce langage. La s emantique concerne le processus dinterpr etation, ou dattribution de signication, aux phrases bien form ees dun langage. ` laide des notions de v En logique propositionnelle, les formules sont interpr et ees a erit e et fausset e. Le vrai et le faux sont deux notions primitives que nous repr esenterons pas 1 et 0. ` ce quon appelle une distribution de valeur de On interpr` ete les formules relativement a ` chacun des atomes de la formule une valeur 0 ou 1 v erit e: une fonction v qui assigne a Mais cela ne suft pas, il faut aussi des r` egles pour interpr eter les connecteurs. Ces r` egles nous crire est sont fournies par la m ethode dite des tables de v erit e. Une mani` ere compacte de les e de les repr esenter comme des fonctions de v erit e: 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1

quivalente, est la suivante: Une mani` ere plus explicite dans les manuels, mais enti` erement e

4/6

` la logique, ENS, 2012-13 Introduction a

e Cours n 2 P. Egr

A B 1 1 1 0 0 1 0 0

AB 1 0 0 0

AB 1 1 1 0

AB 1 0 1 1

nonc Traduction des e es en logique propositionnelle

nonc Traduisez les e es suivants dans le langage de la logique propositionnelle en repr esentant nonc nonc les e es atomiques par des atomes. Si les e es sont logiquement ambigus, indiquez les diff erentes r eponses possibles 1. Ulysse nest pas revenu 2. Si Dominique ment, alors Nicolas a raison 3. Alice am` ene du vin blanc si Pierre fait du poisson 4. Jean est heureux ou Marie est triste et Alice sennuie.

Evaluation dune formule complexe

valuer une formule complexe, une mani` Pour e ere exhaustive de proc eder est de regarder toutes les distributions de valeurs de v erit e possibles aux atomes de la formule, et de calculer la valeur ` laide des tables de v de la formule a erit e. Voyons-en un exemple: ` pas sa table Soit la formule: A := (p (p q )). Comme l evaluer ? En construisant pas a de v erit e: p q q p q (p (p q )) 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 1

` rendre Exercices a

nonc 1. Traduisez les e es suivants en logique propositionnelle, en indiquant vos conventions de traduction. a. Pierre nest pas venu et Marie non plus. b. Sil ne pleut pas, alors Jean ne prend pas sa voiture. c. Sil pleut, alors Jean prend sa voiture. d. LAustralie est plus grande que la France, et la France est plus petite que lAustralie. 5/6

` la logique, ENS, 2012-13 Introduction a

e Cours n 2 P. Egr

2. Soit la formule suivante: (p (q r)). a. Ecrire larbre de d erivation de cette formule. Quel est son connecteur principal? b. Par la m ethode des tables de v erit e, calculez toutes les valeurs possibles de la formule (comme en section 5 ci-dessus). nonc 3. Consid erez les deux e es b. et c. dans lexercice 1 ci-dessus. Une question que lon peut nonc se poser est: ces deux e es ont-ils la m eme signication ? Pour y r epondre, calculer par la nonc m ethode des tables de v erit e toutes les valeurs possibles de chaque e e. Ces valeurs sont-elles nonc identiques ? Que pouvez-vous en conclure sur la signication des deux e es? 4*. Cet exercice ne porte pas sur la logique propositionnelle, mais sur le calcul de Boole. a. A laide du formalisme de Boole, examinez comment on pourrait symboliser de fac on alg ebrique le syllogisme: Tous les linguistes sont des chimistes; tous les chimistes sont des dentistes; donc tous les linguistes sont des dentistes. b. En utilisant les deux principes dassociativit e du produit ((xy )z = x(yz )) et de substitu` la place de y dans tout terme plus abilit e des identiques (si y = y , alors y peut- etre substitu ea complexe), montrer quon peut d eriver de fac on purement alg ebrique le syllogisme en question.

6/6