Introdution à la logique en mathématique

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Introdution à la logique en mathématique"

Transcription

1 Introdution à la logique en mathématique Mickaël Péchaud 2008 Table des matières 1 Introduction Propositions Un peu d abstraction Opérateurs Logiques Opérateur «non» Opérateur «et» Opérateur «ou» Construire de nouvelles formules Combiner des opérateurs Tables de vérité Équivalence Tautologie Associativité, commutativité et distributivité Double négation Lois de Morgan Implication 13 4 Équivalence 15 5 quelques types de démonstrations Modus Ponens Contraposition Démonstration par l absurde Correction des exercices 19 1

2 Ce document est sous licence Creative Commons ccpnc2.0 : http ://creativecommons.org/licenses/by-nc/2.0/fr/ En gros, vous pouvez faire ce que bon vous semble avec ce document, y compris l utiliser pour faire des papillotes, ou faire une performance publique (gratuite) durant lequel vous le mangez feuille par feuille (ce que je déconseille tout de même), aux conditions expresses que : vous en citiez l auteur. vous n en fassiez pas d utilisation commerciale. Par respect pour l environnement, merci de ne pas imprimer ce document si ça n est pas indispensable (et ça n est pas indispensable). 2

3 Ce document est une petite introduction au formalisme logique en mathématiques. Il s adresse à un public ayant un niveau TS ou équivalent. La logique est la discipline dont les bases ont été jetées par Aristote permettant de comprendre ce qu est un raisonnement, et en particulier de savoir si un raisonnement est juste ou faux. Elle est donc un prérequis essentiel à de nombreuses disciplines, telles que les mahématiques, l informatique, la philosophie ou encore la rhétorique. Ce document constitue une petite introduction à la logique, en particulier sous l angle mathématique - attention, il ne s agit en aucun cas d un exposé complètement rigoureux des fondements de la logique formelle... Il y a en particulier régulièrement des abus de langage et de notation, et beaucoup de notions ne sont pas définies rigoureusement pour ne pas trop compliquer le propos. Donc si vous avez l intention d étudier formellement la logique propositionnelle, vous feriez mieux de trouvez un autre poly! 1 Introduction 1.1 Propositions À la base de la logique se trouve la notion de proposition. Il est assez délicat de définir mathématiquement ce qu est une proposition, nous nous bornerons donc à la définition intuitive suivante : Définition (Proposition) Une proposition est une phrase, une formule mathématique, etc, etc... à laquelle on peut attribuer une valeur de vérité, c est-à-dire qui est soit vrai soit fausse. Voici quelques exemple de propositions : «2 + 2 = 4» «si x > 4 alors x > 2» «Paris est en France» «2 0 = 4» «si x > 2 et y > 4 alors x + y < 0» «Bordeaux est la capitale d Espagne» les 3 premières sont vraies, alors que les 3 dernières sont fausses. Par contre, les phrases suivantes ne sont pas des propositions : «salut!» : ce n est ni vrai ni faux, celà n a même pas de sens de parler de «vérité» dans ce cas là. «x > 2» : ce n est ni vrai ni faux, celà dépend de la valeur de x. «Il fait chaud» : sorti de tout contexte, ce n est ni vrai ni faux non plus. Les propositions sont les objets de base sur lesquels nous allons pouvoir effectuer des raisonnements. Comme nous allons le voir, l intérêt de la logique est de proposer des manières générales de raisonner, qui dépendent seulement de la valeur de vérité d une proposition (c est-à-dire si elle est vrai ou fausse), et non pas de la proposition elle-même. 3

4 1.2 Un peu d abstraction En logique, nous allons raisonner non pas sur des propositions précises comme celles du paragraphe précédent, mais sur des propositions que nous appelerons p, q ou r par exemple. L intérêt de procéder à cette abstraction est le suivant : nous allons faire raisonnement et trouver des règles générales sur des propositions p, q, etc... suivant qu elles soient vraies ou fausses, puis, si nous voulons voir ce que celà donne sur des propositions réelles, il suffira de remplacer p, q, etc... par ces propositions. Pour cette raison, p, q,... s appellent des variables ou variables propositionnelles. 1.3 Opérateurs Logiques Nous allons définir quelques opérateurs très utile, permettant de combiner des propositions pour fabriquer des formules propositionnelles Opérateur «non» À partir d une proposition p, nous pouvons construire une formule propositionnelle, appelée p lire «non p». La valeur de vérité de p est définie de la façon suivante : si p est vraie, p est fausse. si p est fausse, p est vraie. Ceci est résumé dans le tableau suivant : p p V F F V Fig. 1 Table de vérité de l opérateur «non» Voici quelques exemples en remplaçant la variable p par une proposition : avec p =«2 + 2 = 4» : «(2+2 = 4)» est fausse, car «2+2 = 4» est vraie. Cette proposition peut-également s écrire avec p =«2 0 = 4» : «(2 0 = 4)» (ou encore «2 0 4» ) est vraie, car «2 + 0 = 4» est fausse. 4

5 avec p = «Paris est la capitale de France» : «(Paris est la capitale de France)» (soit «Paris n est la capitale de France» ) car fausse car p est vraie. Exercice 1 Déterminez la valeur de vérité des propositions suivantes : «(2 2)» «(2 = 4)» «(Nice est en Allemagne)» correction Opérateur «et» À partir de 2 propositions p et q, nous allons une formule appelée conjonction de p et q, et noté de la façon suivante : que l on prononce «p et q». p q Ce «et» logique correspond au «et» que nous utilisons couramment en français. p q est vraie si p est vraie est q est vraie, et fausse dans tous les autres cas. p q p q V V V V F F F V F F F F Fig. 2 Table de vérité de l opérateur «et» Quelques exemples : «(2+3 = 5) (0 = 0)». Cette proposition est vraie car «2+3 = 5» et «0 = 0» sont vraies (1ère ligne du tableau). «(2 + 3 = 5) (Nice est en Écosse)» est fausse car «2 + 3 = 5» est vraie et «Nice est en Écosse» est fausse (2ème ligne du tableau). «(2+2 = 5) (La ème décimale de π est 3)» est fausse. En effet, je n ai aucune idée de ce que vaut la ème décimale de π, mais par contre je sais que Si la ème décimale de π vaut 3, on est dans 3ème ligne du tableau, et sinon, on est dans la 4ème ligne du tableau. Dans tous les cas, notre proposition est fausse. 5

6 Exercice 2 Déterminez la valeur de vérité des propositions suivantes : «(2 2) (3 > 4)» «(2 = 4) (3 = 3)» «(2 < 8) (Nice est en France)» correction Opérateur «ou» Toujours à partir de 2 propositions p et q, nous allons cette fois-ci construire la disjonction de p et q noté de la façon suivante : que l on prononce «p ou q». p q Contrairement au cas du «et», le «ou» logique ne correspond pas au «ou» que nous utilisons couramment en français : dans le langage courant, le «ou» à souvent un caractère exclusif, c est à dire que les 2 possibilités s excluent mutuellement : si je dis «je vais à la plage ou à la montagne», c est l un ou l autre, mais pas les 2 en même temps. En revanche, en mathématique, le «ou» est inclusif : p q est vraie si p est vraie, q est vraie ou si les deux sont vraies, et donc fausse seulement si p et q sont fausses. p q p q V V V V F V F V V F F F Fig. 3 Table de vérité de l opérateur «ou» Quelques exemples : «(2+3 = 5) (0 = 0)». Cette proposition est vraie car «2+3 = 5» et «0 = 0» sont vraies (1ère ligne du tableau). «(2 + 2 = 5) (Nice est en Écosse» ) est fausse car «2 + 3 = 5» est fausse et «Nice est en Écosse» est fausse (4ème ligne du tableau). «(2+2 = 4) (La ème décimale de π est 3)» est vraie. En effet, je n ai toujours aucune idée de ce que vaut la ème décimale de π, mais par contre je sais que = 4. Si la ème décimale de π vaut 3, on est dans 1ème ligne du tableau, et sinon, on est dans la 2ème ligne du tableau. Dans tous les cas, notre proposition est vraie. 6

7 Exercice 3 Déterminez la valeur de vérité des propositions suivantes : «(2 2) (3 > 4)» «(2 = 4) (3 = 3)» «(8 < 2) (Nice est en Belgique)» correction 2 Construire de nouvelles formules 2.1 Combiner des opérateurs Pour l instant nous avons vu comment construire des formules à partir de propositions, et des opérateurs, et. Nous pouvons également utiliser ces opérateurs pour construires des formules plus complexes en utilisant les règles suivantes : 1. toute proposition (ou une variable propositionnelle) est une formule. 2. si F est une formule, F est une formule. 3. si F 1 et F 2 sont des formules, F 1 F 2 est une formule. 4. si F 1 ou F 2 sont des formules, F 1 F 1 est une formule. On peut voir celà comme des règles de constructions de formules. Les règles 2, 3 et 4 expliquent comment construire de nouvelles formules à partir de formules que l on a déjà, et la règle 1 nous fournit le matériaux de base à partir duquel construire les formules : les variables propositionnelles. En combinant tout ceci, nous pouvons construire de nouvelles formules. Par exemple, si p, q et r sont des propositions, S = (p q) r est une formule (les parenthèses sont parfois nécessaires pour éviter les ambigités, par exemple entre p (q r) et (p q) r). En effet, p et q sont des formules (règle 1), donc (p q) est une formule (règle 3). r est une formule (règle 1),donc r est une formule (règle 2). Par conséquent, S qui est la disjonction des 2 est une formule (règle 4). Nous pouvons également déterminer les valeurs de vérités de ces formules plus complexes si nous connaissons celles des propositions de départ. Soit par exemple la formule suivante : ((2 < 3) (3 < 4)) (5 < 2) (3 < 4) est vraie, donc (3 < 4) est fausse. Donc ((2 < 3) (3 < 4)) est fausse. De plus, (5 < 2) est également fausse. Donc notre formule ((2 < 3) (3 < 4)) (5 < 2) est fausse. Exercice 4 Voici quelques formules. Déterminez leur valeur de vérité. «((1 < 2) (4 < 3)) (5 < 2)» 7

8 «( (2 < 1) (6 < 3)) ((Paris est en France) (π est un nombre entier) )» «(Paris est en France) (Paris est en France)» «(Paris est en France) (Paris est en France)» correction 2.2 Tables de vérité Nous avons déjà vu des tables de vérité, sans préciser exactement de quoi il s agissait. En fait, une table de vérité est simplement un tableau qui, pour chaque valeur de vérité possible (vrai ou faux) des variables apparaissant dans la formule, indique quelle est la valeur de vérité de la formule. Voici par exemple la table de vérité de la formule S présentée ci-dessus : p q r S = (p q) r V V V V V V F V V F V F V F F V F V V F F V F V F F V F F F F V Fig. 4 Table de vérité de S Comment avons-nous construit cette table? Nous avons commencé par écrire les tables de vérité de S 1 = (p q) et S 2 = r : p q r S 1 = (p q) S 2 = r V V V V F V V F V V V F V F F V F F F V F V V F F F V F F V F F V F F F F F F V Fig. 5 Construction de la table de vérité de S Nous avons ensuite S = S 1 S 2. Pour construire la colonne correspondant à S, nous regardons donc les colonnes correspondant à S 1 et S 2, et nous effectuons un «ou» logique 8

9 sur ces 2 colonnes : nous écrivons vrai dès que l une des deux au moins est vraie : p q r S 1 = (p q) S 2 = r S=S 1 S 2 V V V V F V V V F V V V V F V F F F V F F F V V F V V F F F F V F F V V F F V F F F F F F F V V Fig. 6 Construction de la table de vérité de S Combien de lignes contient une table de vérité? Cela dépend du nombre de variables différentes présentes dans la formule. S il n y a qu une variable, il n y a que 2 cas à considérer : sa valeur de vérité est vraie ou fausse. Il y aura donc 2 lignes dans la table. S il y a 2 variables différentes p et q, il y a 4 cas à considérer : (p vraie, q vraie), (p vraie, q fausse), (p fausse, q vraie) et (p fausse, q fausse). De façon générale, s il y a n variables différentes, il y aura 2 n ligne dans la table de vérité. Exercice 5 Écrire la table de vérité des formules suivantes : p p (q q) (p q) (p q) correction 2.3 Équivalence Définition (Équivalence) Deux formules sont équivalentes si elles ont la même table de vérité. Considérons les 2 formules suivantes : S 1 = (p q) (p q) S 2 = (p q) ( p q) Elles ont toutes deux la même table de vérité : 9

10 p q S 1 ou S 2 V V F V F V F V V F F F et elles sont donc équivalentes. Elles correspondent toutes deux au «ou» courant, appelé ou exclusif, et souvent noté XOR ou. du langage Un second exemple : S 1 = p S 2 = ( p) p p S 1 S 2 V F V V F V F F Une formule est donc équivalente à la négation de sa négation. 2.4 Tautologie Définition (Tautologie) On appelle tautologie une formule équivalente à V, c est-à-dire dont toutes les entrées dans la table de vérité sont vraies. Exercice 6 Par exemple, vérifiez que les formules suivantes sont des tautologies : p p (cette tautolgie est appelée tiers-exclu : elle dit essentiellement que soit une formule est vraie, soit sa négation est vraie). (p p) (p q) ( p r) 2.5 Associativité, commutativité et distributivité Voici quelques résultats importants concernat les opérateurs et et ou. Théorème (Associativité) (p q) r et q (p r) sont équivalentes. (p q) r et q (p r) sont équivalentes. 10

11 En conséquence, on pourra écrire p q r ou p q r, sans se soucier de l emplacement des parenthèses. Théorème (Commutativité) p q et q p sont équivalentes. p q et q p sont équivalentes. Théorème (Distributivité) r (p q) et ((r p) (r q)) sont équivalentes. r (p q) et ((r p) (r q)) sont équivalentes. Exercice 7 Vérifiez ces théorèmes. 2.6 Double négation Comme nous l avons vu ci-dessus, Théorème p et ( p) sont équivalentes. 2.7 Lois de Morgan Un autre théorème concernant la négation. Théorème (Lois de Morgan) (p q) et ( p q) sont équivalentes. (p q) et ( p q) sont équivalentes. Exercice 8 Vérifiez ce théorème. Par exemple, la négation de la propriété est soit encore et non pas 4 > 3 4 < 5 (4 > 3) (4 < 5)

12 Exercice 9 En utilisant les lois de Morgan, écrivez (en français) les négations des formules suivantes : «la 39ème décimale de π est 3 ou 5.» «35! est divisible par 3 ou par 4.» correction Exercice 10 Reprenons les deux tautologies suivantes, déjà étudiées dans un exercice précédent. (p p) (p q) ( p r) Prouvez que ce sont des tautologies en utilisant les théorèmes ci-dessus et le tiers-exclu. correction 12

13 3 Implication À partir de 2 formules P et Q, nous pouvons construire une formule noté de la façon suivante : P Q (lire «P implique Q» ) et définie par la table de vérité suivante : P Q P Q V V V V F F F V V F F V P est appelée prémisses ou hypothèses, et Q conclusion. Les théorèmes mathématiques utilisent très souvent des implications, sous la forme si...alors. Remarquez qu un théorème dit seulement que la conclusion doit être vraie si la prémisse l est. En revanche, si la prémisse est fausse, la conclusion peut-être indifféremment vraie ou fausse. Du point de vue de la déduction mathématique, cela signifie qu à partir d une formule fausse on peut démontrer n importe quoi. Voici un théorème : «si n 1 est divisible par 3, alors n n est pas divisible par 3.» Prouvons rapidement ce théorème. Démonstration : Nous avons juste à nous occuper du cas où la prémisse est vraie, et montrer alors que la conclusion est également vraie. Supposons que n 1 est divisible par 3 On peut donc écrire n 1 = 3k avec k entier. On a donc n = 3k + 1 et n n est pas divisible par 3. En revanche, si le prémisse n 1 = 3k n est pas vérifié, ce théorème ne dit rien sur la valeur de vérité de «n n est pas divisible par 3» : si n = 3, elle est vraie si n = 4, elle est fausse 13

14 Exercice 11 Démontrer que «n pair n 2 pair» 1. correction Exercice 12 Prouver que les formules suivantes sont des tautologies : p p (p (p q)) q correction On a la propriété suivante, très importante : Théorème p q est équivalente à p q. Exercice 13 Démontrez cette propriété. 1 On appelle entier pair un entier qui peut s écrire sous la forme 2k avec k entier. Un entier impair est un entier qui peut s écrire sous la forme 2k + 1 avec k entier 14

15 4 Équivalence À partir de 2 formules P et Q, nous pouvons construire une formule noté de la façon suivante : (lire «P équivaut à Q» ) et définie par la table de vérité suivante : p q P Q P Q V V V V F F F V F F F V P Q sera donc vraie si et seulement si P et Q ont la même valeur de vérité. Cette construction s appelle «équivalence». Attention, ce mot n a pas le même sens que lorsque nous parlons de formules équivalentes. Cependant, on relier les deux notions : Théorème P et Q sont équivalentes si et seulement P Q est une tautologie. Démonstration : en effet, si P et Q sont équivalentes, leurs tables de vérité sont les mêmes. Par exemple, si P et Q dépendent de variables p i, on a avoir une table de vérité qui ressemble à ceci : p 1 p 2... p n P Q. V F... F V V F V... F F F F F... F V V. les colonnes correspondant à P et Q ayant les mêmes valeurs. On aura donc la table de vérité suivante pour P Q. p 1 p 2... p n P Q P Q. V F... F V V V F V... F F F V F F... F V V V. 15

16 et P Q est une tautologie. De la même façon, si P Q est une tautologie, il n y a que des valeurs V dans la dernière colonne de sa table de vérité, et les valeurs sont donc identiques dans les colonnes correspondant à P et Q. En mathématiques, lorsque l on souhaitera démontrer une formule, on pourra démontrer une formule équivalente. On a également le théorème suivant : Théorème P Q et (P Q) (Q P ) sont équivalentes qui affirme essentiellement que pour montrer que P et Q sont équivalentes, il suffit de montrer que P implique Q et que Q implique P. En mathématiques, beaucoup de théorème sont sous la forme...si et seulement si... (que l on note en général...ssi...). Pour démontrer de tels théorèmes, on procédera aux démonstrations des implications dans les 2 sens. Voici un exemple : «n est pair Ssi n + 2 est pair.» Démonstration : pour le démontrer, nous procédons en 2 étapes : «n est pair n + 2 pair.» Supposons n pair. On peut écrire n = 2k pour un certain entier k. On a alors n+2 = 2k +2 = 2(k +1) avec k + 1 entier, et donc n + 2 est pair. «n + 2 pair n est pair.» Supposons n+2 pair. On peut écrire n+2 = 2k pour un certain entier k. On a alors n = 2k 2 = 2(k 1) avec k 1 entier, et donc n est pair. Exercice 14 Montrer que «n est pair Ssi n + 1 est impair.» Exercice 15 Montrer que l implication n est pas associative. correction 16

17 5 quelques types de démonstrations Certaines tautologies sont extrèments utilisées en mathématiques. 5.1 Modus Ponens La plus courante, que nous avons déjà vue est appelée modus ponens : (p (p q)) q elle correspond à la déduction naturelle. Elle affirme simplement que si nous avons un théorème p q et si ses hypothèses p sont vérifiées, alors ses conclusions q sont vérifiés. En voici l exemple tarte-à-la-crème : théorème : tout homme est mortel (ou homme mortel) prémisse : (or) Socrate est un homme conclusion : (donc) Socrate est mortel et un exemple plus mathématique : théorème : n pair n 2 pair prémisse : (or) est pair conclusion : (donc) est pair Exercice 16 Démontrer que la formule ci-dessus est bien une tautologie. 5.2 Contraposition Encore appelée Modus tollens, il s agit de la tautologie suivante. (p q) ( q p) Si un théorème permet de déduire une conclusion à partir d hypothèses, il permet également de déduire que les hypothèses sont fausses si la conclusion n est pas vérifiée. Voici un exemple simple. Considérons le théorème «si k est pair, k 2 alors est pair». Par contraposition, on en déduit immédiatement le théorème suivant : «si k 2 est impair, alors k est impair». Il sera parfois plus pratique de démontrer la contraposé d une théorème plutôt que le sens direct. Exercice 17 Démontrer que la formule ci-dessus est bien une tautologie. 5.3 Démonstration par l absurde Considérons la tautologie suivante ( p F) (p) 17

18 où F est une formule toujours fausse (une antilogie). Cette formule dit simplement que pour montrer p, il suffit de montrer que p F, c est-à-dire que p permet d aboutir à une contradiction. Ce type de raisonnement est très souvent utile pour démontrer qu il n existe pas d objet vérifiant certaines propriétés : on va supposer qu il en existe un, et aboutir à une contradiction. Un premier exemple. Montrons que «il n y a pas de plus grand nombre entier». Supposons, par l absurde, qu il y ait un plus grand nombre entier, et appelons le n. Alors, n + 1 est un nombre entier, et n + 1 est plus grand que n, ce qui est absurde de par notre choix de n. Ceci montre donc notre formule. Voici un exemple classique un peu plus compliqué. Nous voulons montrer que 2 p q pour tout entiers p et q. Nous allons supposer la négation de cette formule, soit 2 = p pour 2 entiers p et q. q Si p et q sont pairs, nous pouvons les diviser tous les 2 par deux. En recommençant un nombre suffisant de fois, nous pouvons écrire p = 2 i p 1 et q = 2 i q 1, avec p 1 impair ou q 1 impair. On a p = p 1 q q 1 et donc p 1 = 2q 1 soit en passant au carré p 2 1 = 2q1 2 donc p 2 1 est pair. On en déduit que p 1 est pair (cf. paragraphe sur la contraposée), et donc p 1 = 2p pour un certain p. D où p 2 1 = 4p 2. On en déduit que q1 2 = 2p 2 et q1 2 est pair puis q 1 est pair. p 1 et q 1 sont donc pairs, ce qui est en contradiction avec notre choix de p 1 et q 1. Nous avons démontré que 2 ne s écrit pas comme division de 2 entiers, c est-à-dire n est pas rationnel. Exercice 18 Démontrer que la formule ci-dessus est bien une tautologie. Voici une autre variante de la démonstration par l absurde. ((p q) F) (p q) sous un aspect un peu barbare, cette formule dit la chose suivante : si nous voulons montrer que p implique q, il suffit de supposer que p est vraie (les hypothèses sont vraies) et que q est fausses (les conclusions) sont fausses, et d aboutir à une contradiction (F) Exercice 19 Démontrer que la formule ci-dessus est bien une tautologie. 18

19 Correction des exercices Solution de l exercice 1 retour «(2 2)» Faux «(2 = 4)» Vrai «(Nice est en Allemagne)» Vrai Solution de l exercice 2 retour «(2 2) (3 > 4)» Faux «(2 = 4) (3 = 3)» Faux «(2 < 8) (Nice est en France)» Vrai Solution de l exercice 3 retour «(2 2) (3 > 4)» Vrai «(2 = 4) (3 = 3)» Vrai «(8 < 2) (Nice est en Belgique)» Faux Solution de l exercice 4 retour «((1 < 2) (4 < 3)) (5 < 2)» Vrai «( (2 < 1) (6 < 3)) ((Paris est en France) (π est un nombre entier) )» Vrai «(Paris est en France) (Paris est France)» Faux «(Paris est en France) (Paris est France)» Vrai p p (p q) Solution de l exercice 5 retour S = (p q) (p q) p p p p V F F F V F p q q p q V V F V V F V V F V F F F F V V 19

20 Solution de l exercice 6 retour Il suffit d écrire leurs tables de vérité! Pour la seconde par exemple : p q p q p q (p q) S V V V V F F V F V F V V F V V F V V F F F F V F p p p p (p p) V F F V F V F V Solution de l exercice 9 retour «la 39ème décimale de π n est pas 3 et n est pas 5.» «35! n est pas divisible par 3 et n est pas divisible par 4.» Solution de l exercice 10 retour En appliquant la loi de Morgan, on voit que (p p) est équivalente à p p, qui par double-négation est équivalente à p p. Cette dernière formule est le tiers-exclu, qui est une tautologie. (p q) ( p r) est équivalente à p q p r par associativité. Par commutativité, elle est équivalente à p p q r puis à (p p) (q r) par associativité. p p est une tautologie. Notre formule est donc équivalente à V... et est donc une tautologie. Solution de l exercice 11 retour On suppose que n est pair. On peut donc écrire n = 2k. En élevant les deux membres de l égalité au carré, on obtient donc n 2 = 4k 2 = 2(2k 2 ) avec (2k 2 ) entier. Donc n 2 est pair. Solution de l exercice 12 retour Il suffit d écrire les tables de vérité : p p p V V F V p q p q p (p q) (p (p q)) q V V V V V V F F F V F V V F V F F V F V 20

21 Solution de l exercice 15 retour Considérons S 1 = (p q) r et S 2 = p (q r). On pourrait écrire leurs tables de vérités, et constater qu elles sont différentes, mais on peut aussi utiliser des formules équivalentes. S 1 est équivalente à (p q) r alors que S 2 est équivalentes à p q r. On voit alors que si p et r sont fausses et q est vraie, S 1 est fausse, alors que S 2 est vraie. 21

Calcul propositionnel

Calcul propositionnel Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 29 novembre 2011 Principe Connexions Formes propositionnelles But du calcul propositionnel Objectif Formaliser le raisonnement

Plus en détail

Logique. Propositions, Raisonnements, Quantificateurs, Prédicats, Récurrence

Logique. Propositions, Raisonnements, Quantificateurs, Prédicats, Récurrence Logique Propositions, Raisonnements, Quantificateurs, Prédicats, Récurrence 1 INTRODUCTION {La présente affirmation est fausse}????? ni vraie ni fausse Vraie, Fausse, indécidable imprécise : {-1 n est

Plus en détail

4.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où V:=vrai, et F:=faux. Pour la négation: p p

4.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où V:=vrai, et F:=faux. Pour la négation: p p 4.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où V:=vrai, et F:=faux. Pour la négation: p p V F F V Pour les autres définitions: p q p q p q p q p q p q V V V

Plus en détail

Chapitre 2. Langage et raisonnement en mathématiques. 2.1 Les règles du jeux

Chapitre 2. Langage et raisonnement en mathématiques. 2.1 Les règles du jeux Chapitre 2 Langage et raisonnement en mathématiques 2.1 Les règles du jeux En mathématique, il y a deux processus fondamentaux : 1. construire des objets mathématiques (nombres, fonctions, figures géométriques,...)

Plus en détail

Chapitre 1. Notions de logique. 1.1 Éléments de logique

Chapitre 1. Notions de logique. 1.1 Éléments de logique Chapitre 1 Notions de logique 1.1 Éléments de logique Définition 1.1.1. Une assertion ou proposition est un énoncé auquel on peut attribuer la valeur vrai ou faux. Les propositions sont notées par des

Plus en détail

Propositions et prédicats

Propositions et prédicats Propositions et prédicats 1 introduction Définition : Une proposition est un énoncé mathématiques qui peut être démontré comme vrai ou faux, il a valeur de vérité. La logique en mathématique permet d établir

Plus en détail

CHAPITRE 1 INTRODUCTION : UN PEU DE LOGIQUE

CHAPITRE 1 INTRODUCTION : UN PEU DE LOGIQUE CHAPITRE 1 INTRODUCTION : UN PEU DE LOGIQUE Les mathématiques demandent une grande rigueur dans l exposition des résultats et des démonstrations. Si l intuition et la persuasion sont des outils indispensables

Plus en détail

Seulement les équivalences logiques simples sont utilisées dans les preuves mathématiques. Il faut les reconnaître. Par exemple :

Seulement les équivalences logiques simples sont utilisées dans les preuves mathématiques. Il faut les reconnaître. Par exemple : Seulement les équivalences logiques simples sont utilisées dans les preuves mathématiques. Il faut les reconnaître. Par exemple : (P Q) ((P Q) (Q P)) ; (Sont déjà montrés.) (P Q) ( Q P) ( P Q). MAT1500

Plus en détail

Informatique théorique Bases du raisonnement logique (brouillon)

Informatique théorique Bases du raisonnement logique (brouillon) Informatique théorique Bases du raisonnement logique (brouillon) 1 Introduction Nous présentons quelques règles permettant de faciliter la preuve de jugements de la forme Γ A. Il est important de les comprendre,

Plus en détail

logique I démonstration et théorie axiomatique 2 1 généralités 2 2 proposition, prédicat simple 2

logique I démonstration et théorie axiomatique 2 1 généralités 2 2 proposition, prédicat simple 2 logique Table des matières I démonstration et théorie axiomatique 1 généralités proposition, prédicat simple 3 prédicats composés 3 3.1 prédicat de négation....................................... 3 3.

Plus en détail

Logique et Raisonnement

Logique et Raisonnement INSA Toulouse Cycle Préparatoire IFCI Module Outils Mathématiques Regroupement n 1 Logique et Raisonnement Introduction En mathématiques, on travaille avec des objets abstraits (nombres, ensembles, applications,

Plus en détail

Mat 1748 Hiver Logique propositionnelle

Mat 1748 Hiver Logique propositionnelle Mat 1748 Hiver 2017 Logique propositionnelle 1. Les propositions et les connectifs Une proposition est une phrase qui est soit vraie, soit fausse. 1.1. Exemples. (1) Le tableau est noir est une proposition

Plus en détail

LES FONDEMENTS : LA LOGIQUE ET LES ENSEMBLES

LES FONDEMENTS : LA LOGIQUE ET LES ENSEMBLES LES FONDEMENTS : LA LOGIQUE ET LES ENSEMBLES 1. LES PROPOSITIONS MATHÉMATIQUES Faire des mathématiques, c est faire avant tout des raisonnements, c est à dire partir d une ou plusieurs hypothèses et par

Plus en détail

INFO-F-302, Cours d Informatique Fondamentale Logique pour l Informatique

INFO-F-302, Cours d Informatique Fondamentale Logique pour l Informatique 1- INFO-F-302 - / INFO-F-302, Cours d Informatique Fondamentale Logique pour l Informatique Emmanuel Filiot Département d Informatique Faculté des Sciences Université Libre de Bruxelles Année académique

Plus en détail

À partir de différentes propositions logiques, on peut en construire d autres grâce aux connecteurs

À partir de différentes propositions logiques, on peut en construire d autres grâce aux connecteurs Assertion Une assertion est une phrase (énoncé mathématique) qui peut être «vraie» ou «fausse», mais jamais les deux à la fois. Exemples: (3 > 0), (3 = 0) sont des assertions. L énoncé «L avenue des Champs

Plus en détail

COURS SUR LA LOGIQUE FORMELLE

COURS SUR LA LOGIQUE FORMELLE COURS SUR LA LOGIQUE FORMELLE Tristan Canale et Geoffrey Just 24 mai 2016 Nous voudrions particulièrement remercier M. Bulois, Maitre de Conférence en Mathématiques à l Université Jean Monnet de Saint-Etienne,

Plus en détail

Le calcul propositionnel

Le calcul propositionnel MTA - ch2 Page 1/8 Éléments de logique - Raisonnements I Le calcul propositionnel Dénition 1 Une assertion est un énoncé dont on peut dire sans ambiguïté s'il est Vrai ou Faux. Cette convention permet

Plus en détail

Chapitre 1 : s exprimer en mathématiques

Chapitre 1 : s exprimer en mathématiques Université Paris-Dauphine DUMI2E, Algèbre 1, 2009-2010 Chapitre 1 : s exprimer en mathématiques Ces notes correspondent au cours qui a été donné en amphi. C est une version condensée du polycopié de logique,

Plus en détail

RAISONNEMENTS. 1 Propositions logiques. 1.1 Définition et négation. 1.2 Conjonction et disjonction. Laurent Garcin MPSI Lycée Jean-Baptiste Corot

RAISONNEMENTS. 1 Propositions logiques. 1.1 Définition et négation. 1.2 Conjonction et disjonction. Laurent Garcin MPSI Lycée Jean-Baptiste Corot RAISONNEMENTS 1 Propositions logiques 1.1 Définition et négation Définition 1.1 Proposition On appelle proposition un énoncé mathématique qui peut être vrai ou faux. Exemple 1.1 Deux propositions simples.

Plus en détail

Leçon 69 : Les différents types de raisonnement en mathématiques

Leçon 69 : Les différents types de raisonnement en mathématiques Leçon 69 : Les différents types de raisonnement en mathématiques 1 er avril 01 En mathématiques, pour démontrer divers propriétés ou théorèmes, nous avons besoin d appliquer rigoureusement un raisonnement

Plus en détail

logique propositionnelle, 2 sémantique de LP Logique séance 3

logique propositionnelle, 2 sémantique de LP Logique séance 3 logique propositionnelle, 2 sémantique de LP Logique séance 3 M. Cozic remerciements à......d. Bonnay 3. sémantique de LP introduction sémantique = partie de la LP qui s occupe de l interprétation du langage

Plus en détail

Polycopié de Logique Mathématique

Polycopié de Logique Mathématique 1. Propositions. Université de la Nouvelle Calédonie. Licences Math, PC, SPI. Semestre 2. Polycopié de Logique Mathématique Une proposition est un enoncé mathématique qui peut être soit vrai (V) soit faux

Plus en détail

Montré : la proposition p q et sa contraposée sont logiquement équivalentes :

Montré : la proposition p q et sa contraposée sont logiquement équivalentes : Rappel : La contraposée de p q est par définition la proposition ( q) ( p). (faute d écriture du manuel p. 7 : ne laissez-vous pas distraire). La reciproque de p q est par définition la proposition q p.

Plus en détail

Mots de Dyck. On peut donner deux définitions d un mot bien parenthésé. est l ensembles des mots sur l alphabet { a, b } défini par

Mots de Dyck. On peut donner deux définitions d un mot bien parenthésé. est l ensembles des mots sur l alphabet { a, b } défini par Mots de Dyck On peut donner deux définitions d un mot bien parenthésé Par induction. est l ensembles des mots sur l alphabet { a, b } défini par Si u et v sont dans, il en est de même de a.u.b.v Par propriétés

Plus en détail

1 ère S. ch1. Introduction à la logique. J. TAUZIEDE. INTRODUCTION AU VOCABULAIRE DE LA LOGIQUE.

1 ère S. ch1. Introduction à la logique. J. TAUZIEDE. INTRODUCTION AU VOCABULAIRE DE LA LOGIQUE. 1 ère S. ch1. Introduction à la logique. J. TAUZIEDE. INTRODUCTION AU VOCABULAIRE DE LA LOGIQUE. I- IMPLICATION- EQUIVALENCE. 1 ) Proposition. Définition 1. On appelle proposition mathématique, une phrase

Plus en détail

Logique et théorie des modèles

Logique et théorie des modèles Logique et théorie des modèles Cours de P. Joray Définition 0.1 Dans un langage L, une proposition est un énoncé qui possède l une des deux valeurs de vérité suivante : vrai ou faux. «2 + 2 = 4», «2 +

Plus en détail

Fondements des mathématiques

Fondements des mathématiques Fondements des mathématiques MAT 2762 Automne 2014 A B C Alistair Savage Département de Mathématiques et de Statistique Université d Ottawa Table des matières Préface iii 1 Logique propositionnelle 1 1.1

Plus en détail

Algèbre 1 RAISONNEMENT ELEMENTS DE LA THEORIE DES ENSEMBLES

Algèbre 1 RAISONNEMENT ELEMENTS DE LA THEORIE DES ENSEMBLES Algèbre - chap 1 1/8 Algèbre 1 RAISONNEMENT ELEMENTS DE LA THEORIE DES ENSEMBLES 1. ELEMENTS DE LOGIQUE 1.1 Propositions Règles logiques Définition 1 : On appelle propriété ou assertion une affirmation

Plus en détail

Chapitre 4. Applications

Chapitre 4. Applications Chapitre 4 Applications 1. Définitions et exemples Définition 4.1 Soient E et F deux ensembles. Une application f de E dans F est un procédé qui permet d associer à chaque élément x de E un unique élément

Plus en détail

Logique 2 : la déduction

Logique 2 : la déduction Logique 2 : la déduction La mathématique est la science de la déduction. Ce qui signifie qu un mathématicien prend des informations de départ et cherche tout ce qu on peut en déduire. La question de savoir

Plus en détail

Correction des exercices du TD1

Correction des exercices du TD1 Correction des exercices du TD1 Rappel : des aides vous sont fournies sur le site «www4.utc.fr /~mt21/» à la fin des fichiers consacrés aux chapitre de cours. N hésitez pas à les consulter pour refaire

Plus en détail

Notions de logique. 1 Proposition. 2 Les quantificateurs. 2.1 Le quantificateur universel

Notions de logique. 1 Proposition. 2 Les quantificateurs. 2.1 Le quantificateur universel Notions de logique 1 Proposition Définition préliminaire : En mathématiques, on appelle proposition toute phrase correctement construite, dont on peut dire sans ambiguïté si elle est VRAIE ou FAUSSE. Exemples

Plus en détail

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions Logique Exercice 1 : Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi? 1. Si Napoléon était chinois alors 2. Soit Cléopâtre était chinoise, soit les grenouilles

Plus en détail

Montré : la proposition p q et sa contraposée sont logiquement équivalentes :

Montré : la proposition p q et sa contraposée sont logiquement équivalentes : Rappel : La contraposée de p q est par définition la proposition ( q) ( p). (faute d écriture du manuel p. 7 : ne laissez-vous pas distraire). La réciproque de p q est par définition la proposition q p.

Plus en détail

LOGIQUE PROPOSITIONNELLE ET PRÉDICATS

LOGIQUE PROPOSITIONNELLE ET PRÉDICATS LOGIQUE PROPOSITIONNELLE ET PRÉDICATS IFT 1065 AUTOMNE 2007 Les objectifs visés sont de Développer la capacité à exprimer en langage logique des énoncés simples Développer un esprit de rigueur Pouvoir

Plus en détail

Mat 1748 Examen 1. Professeur: D. Daigle Date: 8 février 2016 Durée: 75 minutes.

Mat 1748 Examen 1. Professeur: D. Daigle Date: 8 février 2016 Durée: 75 minutes. Nom de famille (MAJUSCULES) Prénom (MAJUSCULES) Signature Numéro d étudiant Mat 1748 Examen 1 Professeur: D. Daigle Date: 8 février 2016 Durée: 75 minutes. Pour les questions 1 à 6, donnez seulement la

Plus en détail

Correction des exercices du TD1

Correction des exercices du TD1 Correction des exercices du TD1 Rappel : des aides vous sont fournies sur le site «www4.utc.fr /~mt21/» à la fin des fichiers consacrés aux chapitre de cours. N hésitez pas à les consulter pour refaire

Plus en détail

Logique, vocabulaire ensembliste et raisonnement

Logique, vocabulaire ensembliste et raisonnement Chapitre 2 Logique, vocabulaire ensembliste et raisonnement Sommaire 2.1 Quelques bases de vocabulaire et de logique.............. 34 2.1.1 Quantificateurs................................ 34 2.1.2 Différents

Plus en détail

Cours de Mathématiques Ensembles, applications, relations

Cours de Mathématiques Ensembles, applications, relations Table des matières I Un peu de logique................................... 2 I.1 Assertions................................... 2 I.2 Opérations sur les assertions......................... 2 I.3 Tableaux

Plus en détail

Logique. Logique Propositionnelle. Thomas Pietrzak Licence Informatique

Logique. Logique Propositionnelle. Thomas Pietrzak Licence Informatique Logique Logique Propositionnelle Thomas Pietrzak Licence Informatique Logique propositionnelle Logique de base Raisonnements simples Connecteurs usuels : ET, OU, NON, Syntaxe Variables propositionnelles

Plus en détail

SCI110 Outils mathématiques pour l informatique (1/4) Logique des propositions. IUT1 dept. SRC Grenoble Jean-François Berdjugin Jean-François Remm

SCI110 Outils mathématiques pour l informatique (1/4) Logique des propositions. IUT1 dept. SRC Grenoble Jean-François Berdjugin Jean-François Remm SCI110 Outils mathématiques pour l informatique (1/4) Logique des propositions IUT1 dept. SRC Grenoble Jean-François Berdjugin Jean-François Remm M1.22.2 Outils mathématiques pour l informatique Ouvrages

Plus en détail

CHAPITRE II. Calcul des propositions. Sommaire LOGIQUE 1

CHAPITRE II. Calcul des propositions. Sommaire LOGIQUE 1 CHAPITRE II Calcul des propositions LOGIQUE 1 Sommaire I Propositions, valeurs de vérité............................. 12 A Définition.......................................... 12 B Exemples..........................................

Plus en détail

On appelera énoncé élementaire toute phrase fabriquée a l aide des symboles précédents, ayant un sens.

On appelera énoncé élementaire toute phrase fabriquée a l aide des symboles précédents, ayant un sens. Chapitre 1 Éléments de logique Dans cette première partie du cours, on introduit trés rapidement quelques outils permettant de formaliser les idées mathématiques et d obtenir des moyens systématiques de

Plus en détail

Chapitre 4 - Calcul des propositions et des prédicats, langage ensembliste et calcul booléen

Chapitre 4 - Calcul des propositions et des prédicats, langage ensembliste et calcul booléen Lycée Maximilien Sorre Année 2015-2016 BTS SIO 1 Chapitre 4 - Calcul des propositions et des prédicats, langage ensembliste et calcul booléen 1 Calcul des propositions 1.1 Propositions, valeurs de vérité

Plus en détail

Préambule : quantificateurs, implication et équivalence

Préambule : quantificateurs, implication et équivalence Préambule : quantificateurs, implication et équivalence Nous allons dans ce préambule présenter quelques symboles les quantificateurs et quelques notions basées sur celles, parfois abordées au lycée, d

Plus en détail

MT18 A2010 Logique et théorie des ensembles Aleth Chevalley. { ;( p, q) } q q

MT18 A2010 Logique et théorie des ensembles Aleth Chevalley. { ;( p, q) } q q A2010 Logique et théorie des ensembles Aleth Chevalley Rappels : N : ensemble des entiers naturels = { 0, 1, 2, } A part 0, un nombre n a pas d opposé dans N : ensemble des entiers relatifs = {, 2, 1,

Plus en détail

Le formalisme mathématique

Le formalisme mathématique Le formalisme mathématique Bcpst 1 4 mars 2016 Les mathématiques modernes forment une science essentiellement formelle. Tout d abord, tout texte mathématique peut être entièrement formalisé dans un langage

Plus en détail

Logique et théorie des ensembles

Logique et théorie des ensembles Rappels : Logique et théorie des ensembles N : ensemble des entiers naturels = { 0,, 2, } A part 0, un nombre n a pas d opposé dans N = {0} : ensemble des entiers relatifs = {, 2,, 0,, 2, } = { n, -n ;

Plus en détail

Logique - exos du cours

Logique - exos du cours Logique - exos du cours assertion, prédicats et autres Exercice 1 Parmi les phrases suivantes lesquelles sont des assertions, prédicats ou autre? 2 + 2 = 5 ; un triangle isocèle est un triangle ayant 2

Plus en détail

Logique propositionnelle

Logique propositionnelle Lycée Louis-le-Grand Année 2003 2004 Logique propositionnelle option informatique 1/25 1 Sommaire formules de la logique propositionnelle ; sémantique : l évaluation des formules ; tautologies, formules

Plus en détail

LOGIQUE. Logique des propositions Algèbre de Boole Méthodes de simplification des fonctions booléennes

LOGIQUE. Logique des propositions Algèbre de Boole Méthodes de simplification des fonctions booléennes LOGIQUE Logique des propositions Algèbre de Boole Méthodes de simplification des fonctions booléennes OBJECTIFS Traiter formellement les notions de vérité et de fausseté Formaliser ce qu on appelle le

Plus en détail

La logique est utile dans beaucoup de domaines :

La logique est utile dans beaucoup de domaines : Introduction La logique est utile dans beaucoup de domaines : Conception de circuits. Preuves de programmes. Programmation logique. Simulation de raisonnements en intelligence artificielle.... Nous n utiliserons

Plus en détail

Bibliothèque d exercices L1 Feuille n 6. Arithmétique dans Z

Bibliothèque d exercices L1 Feuille n 6. Arithmétique dans Z Bibliothèque d exercices Énoncés L1 Feuille n 6 Arithmétique dans Z 1 Divisibilité, division euclidienne Exercice 1 Combien 15! admet-il de diviseurs? Exercice 2 Trouver le reste de la division par 13

Plus en détail

Logique, ensembles et applications.

Logique, ensembles et applications. Logique, ensembles et applications. I Outils du raisonnement mathématique 1 I.A Assertions et connecteurs logiques................. 1 I.A.1 Assertions........................... 1 I.A.2 Connecteurs logiques.....................

Plus en détail

MAT1500 Mathématiques discrètes

MAT1500 Mathématiques discrètes MAT1500 Mathématiques discrètes Matilde N. Laĺın Université de Montréal http://www.dms.umontreal.ca/~mlalin/mat1500 Le 5 octobre 2016 Matilde N. Laĺın (U de M) MAT1500 Le 5 octobre 2016 1 / 35 Le menu

Plus en détail

1 Notions de logique mathématique.

1 Notions de logique mathématique. Université de Provence 2012 2013 Introduction à l Analyse Chapitre 3 - Logique et Suites. 1 Notions de logique mathématique. 1.1 Assertions, propositions logiques, tables de vérité. On rappelle la notion

Plus en détail

Chapitre 2 : Raisonnements mathématiques

Chapitre 2 : Raisonnements mathématiques Chapitre 2 : Raisonnements mathématiques L'objectif de ce chapitre est de poser les premiers jalons d'un cours de mathématiques. Vous avez déjà rencontré et manipulé une partie des objets et des raisonnements

Plus en détail

I. QUELQUES ELEMENTS DE LOGIQUE

I. QUELQUES ELEMENTS DE LOGIQUE I. QUELQUES ELEMENTS DE LOGIQUE A. Propositions et connecteurs Une proposition est une phrase grammaticalement correcte, ayant un sens, ni interrogative, ni exclamative qui peut être soit vraie, soit fausse

Plus en détail

Les ensembles D. Daigle

Les ensembles D. Daigle Les ensembles D. Daigle 1. Notions de base La notation x A signifie que x est un élément de l ensemble A (elle se lit x est élément de A ou encore x appartient à A ). Remarquez que le symbole d appartenance

Plus en détail

Langage mathématique et logique

Langage mathématique et logique Table des matières 1 Langage mathématique et logique 2 1 Présentation du langage................................. 2 1.1 Expressions mathématiques........................... 2 1.2 Variables.....................................

Plus en détail

RATIONNELS ET IRRATIONNELS IRRATIONALITE DE 2. Ensemble des nombres décimaux $ 12,57

RATIONNELS ET IRRATIONNELS IRRATIONALITE DE 2. Ensemble des nombres décimaux $ 12,57 THEME : RATIONNELS ET IRRATIONNELS IRRATIONALITE DE Rationnels - Irrationnels Ensemble des nombres réels π Ensemble des nombres rationnels Ensemble des nombres décimaux $ 5 π + 5,57-0,58 4 0 8 457 5 Ensemble

Plus en détail

1 Éléments de logique

1 Éléments de logique Thierry Champion - Univ. Toulon - 2017/2018 2 1 Éléments de logique 1.1 Notions de logique Définition 1. Une assertion est un énoncé auquel on peut attribuer sans ambiguité une valeur de vérité : soit

Plus en détail

Feuille 4 - Logique. 1 Tables de vérité. IUT d Orsay Exercices de mathématiques. 4. Exercice corrigé en amphi

Feuille 4 - Logique. 1 Tables de vérité. IUT d Orsay Exercices de mathématiques. 4. Exercice corrigé en amphi IUT d Orsay 2012-20013 Département Informatique DUT 1A - S1 Exercices de mathématiques 1 Tables de vérité Feuille 4 - Logique Les propositions suivantes sont-elles vraies ou fausses? (a) 2 divise 3 et

Plus en détail

4.1 L ensemble des réels est un corps ordonné

4.1 L ensemble des réels est un corps ordonné Table des matières 4 Propriétés de R 4. L ensemble des réels est un corps ordonné....................... 4.. Propriétés d ordre de R............................. 4..2 Valeur absolue..................................

Plus en détail

Logique 1 : Le langage mathématique. I Cours 1

Logique 1 : Le langage mathématique. I Cours 1 Logique 1 : Le langage mathématique Table des matières I Cours 1 1 La phrase mathématique 1 1.1 Composition d une phrase mathématique................................ 1 1.2 Exemples.................................................

Plus en détail

ENSEIGNEMENT DE LA MÉT HODOLOGIE

ENSEIGNEMENT DE LA MÉT HODOLOGIE Méthodologie en mathématiques, Année 2009-2010 UNIVERSITÉ BORDEAUX 1 LICENCE SCIENCES ET TECHNOLOGIES 1 er SEMESTRE MISMI ENSEIGNEMENT DE LA MÉT HODOLOGIE EN MAT HÉMAT IQUES 1 2 Séance n 1 Objectif : savoir

Plus en détail

ÉLÉMENTS DE THÉORIE DES ENSEMBLES. 1 Les ensembles. 1.1 Définition d un ensemble

ÉLÉMENTS DE THÉORIE DES ENSEMBLES. 1 Les ensembles. 1.1 Définition d un ensemble 2015-2016 MPSI2 du lycée Condorcet 1/22 ÉLÉMENTS DE THÉORIE DES ENSEMBLES 1 Les ensembles 1.1 Définition d un ensemble Définition 1. Un ensemble est une collection d objets mathématiques. Les objets qui

Plus en détail

Introduction à la logique : corrigé de quelques exercices

Introduction à la logique : corrigé de quelques exercices Introduction à la logique : corrigé de quelques exercices Exercice 1. Montrer que Brice Halimi LLPHI133 F n = Rappelons que N n est l ensemble des propositions exactement de niveau n, et que F 0 = N 0,

Plus en détail

Notions de bases. 2 Ensembles Vocabulaire ensembliste Ensemble des parties d un ensemble... 5

Notions de bases. 2 Ensembles Vocabulaire ensembliste Ensemble des parties d un ensemble... 5 Maths PCSI Cours Notions de bases Table des matières 1 Logique 2 1.1 Proposition logique.......................................... 2 1.2 Disjonction, conjonction et implication...............................

Plus en détail

Cours de Logique. Alain LECOMTE UFR Sciences du Langage Université Paris 8. (iii) rien n est une formule hormis par (i) et (ii)

Cours de Logique. Alain LECOMTE UFR Sciences du Langage Université Paris 8. (iii) rien n est une formule hormis par (i) et (ii) Cours de Logique Alain LECOMTE UFR Sciences du Langage Université Paris 8 1 Logique propositionnelle 1.1 Syntaxe des formules Alphabet de base : A = {p, q, r,...,,,,,,,, } où p, q, r,... sont appelés variables

Plus en détail

Chapitre 1. Introduction

Chapitre 1. Introduction Chapitre 1 Introduction Dans les chapitres qui suivent, nous allons apprendre un langage. Un langage permettant de décrire au moyen d un petit nombre de concepts un grand nombre de choses, en particulier

Plus en détail

Stage de logique par René Cori, les 3 et 4 décembre 2009

Stage de logique par René Cori, les 3 et 4 décembre 2009 Stage de logique par René Cori, les 3 et 4 décembre 2009 Notes de Nathalie Carrié René Cori nous a d abord présenté la logique comme une branche très jeune des mathématiques. Il a expliqué la singularité

Plus en détail

Logique. P 2 : doc 1 Logique et Raisonnement Largement inspiré de «PRÉPAS SCIENCES - PCSI - Éllipses» Plusieurs définitions :

Logique. P 2 : doc 1 Logique et Raisonnement Largement inspiré de «PRÉPAS SCIENCES - PCSI - Éllipses» Plusieurs définitions : Largement inspiré de «PRÉPAS SCIENCES - PCSI - Éllipses» I Logique Plusieurs définitions : Une proposition est un énoncé mathématique qui peut prendre deux valeurs : vrai (V ) ou faux (F) ; On appelle

Plus en détail

Logique des propositions

Logique des propositions Logique des propositions Damien Nouvel Damien Nouvel (Inalco) Logique des propositions 1 / 26 Fondements de la logique Plan 1. Fondements de la logique 2. Formes normales 3. Dérivations logiques 4. Problème

Plus en détail

A02 : Correction de quelques exercices...

A02 : Correction de quelques exercices... A0 : Correction de quelques exercices... 1 Quelques équations polynomiales. 1.1 Résoudre l équation x + 3x + 1 0 (7). On résout successivement l équation modulo 3, 9 et enfin 7. Modulo 3, les solutions

Plus en détail

Les connecteurs logiques «ou» et «et»

Les connecteurs logiques «ou» et «et» Les connecteurs logiques «ou» et «et» 1. Dans le langage courant : «ET», «OU» en mathématiques «et» est employé avec différentes significations («et en plus» : un cahier et un stylo et..., «et puis» :

Plus en détail

Construction des entiers naturels

Construction des entiers naturels Construction des entiers naturels Tout ce qui suit est une définition et l étude des propriétés élémentaires de l ensemble des entiers naturels, définis dans le cadre axiomatique de la théorie des ensembles.

Plus en détail

PF1 Principes de Fonctionnement des machines binaires

PF1 Principes de Fonctionnement des machines binaires PF1 Principes de Fonctionnement des machines binaires Jean-Baptiste Yunès Jean.Baptiste.Yunes@univ-paris-diderot.fr Version 1.1 Calcul propositionnel et Algèbre de Boole Le calcul propositionnel ou calcul

Plus en détail

Chapitre 1 Le principe du raisonnement par récurrence

Chapitre 1 Le principe du raisonnement par récurrence Chapitre 1 : Principe du raisonnement par récurrence Chapitre 1 Le principe du raisonnement par récurrence 1 I Exemple introductif On considère les suites de terme général : n (n + 1) u n = 0 + 1 + + (n

Plus en détail

Logique/Ensembles. Logique 2. 1 Rudiments de logique. 1.1 Assertions, connecteurs, synonymie.

Logique/Ensembles. Logique 2. 1 Rudiments de logique. 1.1 Assertions, connecteurs, synonymie. Logique 2 Logique/Ensembles 1 Rudiments de logique. 1.1 Assertions, connecteurs, synonymie. La notion d'assertion est considérée comme intuitive : on se donne la dénition vague ci-dessous. Dénition 1.

Plus en détail

UN I V E R S I T É. Vincennes-Saint-Denis. Mathématiques, Informatique, Technologies, Sciences de l Information et de la Communication

UN I V E R S I T É. Vincennes-Saint-Denis. Mathématiques, Informatique, Technologies, Sciences de l Information et de la Communication 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 23 septembre

Plus en détail

Différents types de raisonnement en mathématiques

Différents types de raisonnement en mathématiques Différents types de raisonnement en mathématiques I) Symboles logiques 1) Les quantificateurs Les quantificateurs permettent de connaitre le domaine de validité d une propriété. a) Pour une propriété universelle

Plus en détail

Feuille de TD n 1 : Logique, raisonnements mathématiques et théorie des ensembles

Feuille de TD n 1 : Logique, raisonnements mathématiques et théorie des ensembles Feuille de TD n 1 : Logique, raisonnements mathématiques et théorie des ensembles Opérateur d implication Exercice 1. ( ) On considère la proposition «s il pleut, mon jardin est mouillé». Quelle est sa

Plus en détail

Un exemple de cours : Racine carrée et Compléments.

Un exemple de cours : Racine carrée et Compléments. Un exemple de cours : Racine carrée et Compléments. C est un des premiers symboles «bizarres» que l on rencontre au collège que le symbole " ". Que signifie t il? A quoi peut il servir? Comment s en sert

Plus en détail

Raisonnements, preuves et théorie des ensembles

Raisonnements, preuves et théorie des ensembles Chapitre 2 Raisonnements, preuves et théorie des ensembles Ce document contient certains exercices qui seront faits en équipe lors de la deuxième semaine du cours de MAT210. 2.1 Raisonnements valides La

Plus en détail

Logique, ensembles, raisonnements

Logique, ensembles, raisonnements Bibliothèque d exercices Énoncés L1 Feuille n Logique, ensembles, raisonnements 1 Logique Exercice 1 Soient les quatre assertions suivantes : (a) x R y R x + y > 0 ; (b) x R y R x + y > 0 ; (c) x R y R

Plus en détail

Petite introduction à la logique propositionnelle

Petite introduction à la logique propositionnelle Polytech Marseille Formation HUGO Petite introduction à la logique propositionnelle Exercice 1. Mon boss m a dit! "Si tu ne termines pas ce programme avant vendredi, tu n auras pas de promotion cette année!"

Plus en détail

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions Logique Exercice 1 : Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi? 1. Si Napoléon était chinois alors 2. Soit Cléopâtre était chinoise, soit les grenouilles

Plus en détail

Les nombres de Fermat

Les nombres de Fermat Divisibilité et division euclidienne - TS Les LPO de Chirongui 5 juillet 2015 1 - - I En 1640 le mathématicien Pierre de pensait que tous les nombres F n = 2 2n + 1 étaient (on appelle ces nombres les

Plus en détail

Logique propositionnelle

Logique propositionnelle Chapitre I Logique propositionnelle Sommaire A RISTOTE 1 Syntaxe... 8 1.1 Formules strictes... 8 1.2 Formules à priorité... 11 2 Sens des formules... 11 2.1 Sens des connecteurs... 11 2.2 Valeur d une

Plus en détail

Calcul propositionnel :

Calcul propositionnel : uv16472 --- CDL_B3 2004-2005 COURS 3 Calcul propositionnel : Aspects Sémantiques, Aspects syntaxiques, Déduction, Preuves p 1 Besoins, Énoncé de PB Spécification Langage de Spec. : Logique de Prop Prototype

Plus en détail

Chapitre 3. S exprimer en mathématiques

Chapitre 3. S exprimer en mathématiques Chapitre 3 S exprimer en mathématiques 1. Les énoncés Des énoncés mathématiques sont des phrases qui ont pour but de définir des objets mathématiques ou bien d en donner des propriétés. Voici des exemples

Plus en détail

L induction mathématique

L induction mathématique L induction mathématique François Lemieux L induction mathématique est une technique de preuve essentielle pour vérifier non seulement certaines équations mathématiques mais aussi pour démontrer l exactitude

Plus en détail

INFO-F-302, Cours d Informatique Fondamentale Logique pour l Informatique

INFO-F-302, Cours d Informatique Fondamentale Logique pour l Informatique 1- INFO-F-302 - / INFO-F-302, Cours d Informatique Fondamentale Logique pour l Informatique Emmanuel Filiot Département d Informatique Faculté des Sciences Université Libre de Bruxelles Année académique

Plus en détail

3 TD 3 : Technique de preuve et mathématiques discrètes

3 TD 3 : Technique de preuve et mathématiques discrètes 3 TD 3 : Technique de preuve et mathématiques discrètes Certaines parties de ce cours sont inspirées du cours de principe de fonctionnement des machines binaires de Jean Marie Rifflet et du cours de langage

Plus en détail

Logique. L intégrale des connecteurs logiques

Logique. L intégrale des connecteurs logiques Logique L intégrale des connecteurs logiques Jusqu à présent, nous avons vu les connecteurs,,,, et accessoirement. Il en existe d autres. Nous allons maintenant tous les voir un par un plus exactement

Plus en détail

Logique et Raisonnement

Logique et Raisonnement INSA Toulouse Cycle Préparatoire IFCI Module Outils Mathématiques Regroupement n 1 Logique et Raisonnement Introduction En mathématiques, on travaille avec des objets abstraits (nombres, ensembles, applications,

Plus en détail

Exo7. Arithmétique dans Z. 1 Divisibilité, division euclidienne

Exo7. Arithmétique dans Z. 1 Divisibilité, division euclidienne Exo7 Arithmétique dans Z 1 Divisibilité, division euclidienne Exercice 1 Sachant que l on a 96842 = 256 375+842, déterminer, sans faire la division, le reste de la division du nombre 96842 par chacun des

Plus en détail

Nombres réels, bornes supérieures et inférieures

Nombres réels, bornes supérieures et inférieures Nombres réels, bornes supérieures et inférieures Exercice 1 : Si et sont des réels positifs ou nuls, montrer que Allez à : Correction exercice 1 : Exercice 2 : Déterminer les ensembles suivants, mettre

Plus en détail

INFO-F-302 Informatique Fondamentale Exemple de Sujet d Examen

INFO-F-302 Informatique Fondamentale Exemple de Sujet d Examen INFO-F-302 Informatique Fondamentale Exemple de Sujet d Examen 25 mai 2012 1 Questions de cours Question 1 : déduction en logique propositionnelle Démontrer la validité des règles Modus Tollens, LEM, avec

Plus en détail