P q r (p v q) z> rsgsg V V V V V V V F V F V F V V V V F F V F F V V V V F V F V F F F V F V F F F F V lere étape 2e étape À partir de maintenant, nous utiliserons les lettres A, B, C, etc., pour parler d'un énoncé quelconque, complexe ou non ; les lettres p, q, etc., continueront comme précédemment à désigner exclusivement des énoncés atomiques. [...] V V V F V V V V V V F F V V V V V F V F F F F F V F F F F F V F F V V V V F F F F V F V V V V F F F V V V V V V F F F V V V V V b) P q ((p^q}=>q}^>pp V V V V V V F F V V F V V V F F F V F V c) p q (p^^q)=9p V V F F F V F V V V F V V F F F F V V F 26 ÉLÉMENTS DE LOGIQUE CONTEMPORAINE d) p q r -,((/? [...] A -p) ID ((q v r) ̂. (r =3 -n/?))) V V V F F V V F F F V V F F F V V V V F V F V F F V V F F F V F F F F V F V V F F V V F F V V V V V F V F F F V V V V V F F V F F V V V V V F F F F F V F V V V e) P q (p^q} = q V V V V V F F V F V V V F F V F f) p (p=p)p=p V V V F V F 1. SOLUTIONS DES EXERCICES 27 EXERCICE 13 a) p q r (-p ID q} v (r = (/?
Authors
- Bibliography, etc. Note
- Comprend des réf. bibliogr.: p. [265]-266
- Control Number Identifier
- CaOOCEL
- Dewey Decimal Classification Number
- 511.3
- General Note
- Comprend un index Publié dans le cadre de la desLibris la collection des documents électroniques canadiens
- ISBN
- 9782760623484 2760618188
- LCCN
- QA9
- LCCN Item number
- L4 2001eb
- Modifying agency
- CaBNVSL
- Original cataloging agency
- CaQMBN
- Physical Description | Extent
- 1 texte électronique (x, 268 p.)
- Publisher or Distributor Number
- CaOOCEL
- Rights
- L'accès est limité aux utilisateurs et aux établissements autorisés
- System Control Number
- (CaBNVSL)slc00206040 (OCoLC)243578260 (CaOOCEL)406379
- System Details Note
- Mode d'accès: World Wide Web
- Transcribing agency
- CaQMBN
Table of Contents
- Table des matières 10
- Avant-propos 8
- Introduction 12
- PREMIÈRE PARTIE: LE CALCUL DES ÉNONCÉS 16
- Chapitre I: Les concepts fondamentauxt 18
- 1.0 La notion d'énoncé 18
- 1.1 La notion de connecteur 20
- 1.2 Tables de vérité d'énoncés complexes 29
- Solutions des exercices 33
- Chapitre II: Connecteurs logiques et langue naturelle 42
- 2.0 Introduction 42
- 2.1 La traduction en langue naturelle et sa réciproque 45
- Solutions des exercices 54
- Chapitre III: Les tautologies et les contradictions 64
- 3.0 Introduction 64
- 3.1 La notion de tautologie 65
- 3.2 Quelques tautologies remarquables 66
- 3.3 La méthode des matrices 72
- 3.4 La dualité 78
- Solutions des exercices 86
- Chapitre IV: Méthodes syntaxiques élémentaires 94
- 4.0 Introduction 94
- 4.1 L'algèbre de Boole 95
- 4.2 Les formes normales disjonctives 99
- 4.3 La méthode des arbres 105
- 4.4 Un test de validité pour les déductions 110
- Solutions des exercices 118
- Chapitre V: La déduction naturelle 138
- 5.0 La conjonction 138
- 5.1 L'implication matérielle 140
- 5.2 La disjonction 142
- 5.3 La négation 144
- 5.4 Le biconditionnel 144
- 5.5 Une stratégie efficace 146
- Solutions des exercices 154
- DEUXIÈME PARTIE: LE CALCUL DES PRÉDICATS 162
- Chapitre VI: Les concepts fondamentaux du calcul des prédicats 164
- 6.0 La notion de prédicat 164
- 6.1 Le quantificateur universel 166
- 6.2 Le langage du calcul des prédicats du premier ordre et la langue naturelle 168
- 6.3 La notion d'interprétation 173
- 6.4 La notion de validité en calcul des prédicats 183
- Solutions des exercices 188
- Chapitre VII: La méthode des arbres en calcul des prédicats 198
- 7.0 Justification intuitive de la méthode 198
- 7.1 Une stratégie efficace 207
- Solutions des exercices 216
- Chapitre VIII: La déduction naturelle en calcul des prédicats 238
- 8.0 Justification intuitive de la méthode 238
- 8.1 Quelques conseils tactiques 243
- 8.2 Une heuristique 252
- Solutions des exercices 262
- Tableau des symboles utilisés 274
- Bibliographie 276
- Index 278
- A 278
- B 278
- C 278
- D 278
- E 278
- F 278
- G 278
- H 278
- I 278
- L 278
- M 278
- N 278
- P 278
- Q 279
- R 279
- S 279
- T 279
- V 279
