Browse Source

Réviser notes séance 03

Café Nocturne
#7
seance0
Louis-Olivier Brassard 2 months ago
parent
commit
c4d3db38bb
No known key found for this signature in database
1 changed files with 9 additions and 9 deletions
  1. 9
    9
      content/notes/seance03.md

+ 9
- 9
content/notes/seance03.md View File

@@ -23,7 +23,7 @@ Nous avons identifié certaines expressions du langage qui ont un rôle logique
23 23
 
24 24
 Exemples d’implications matérielles en français :
25 25
 
26
-- « Si ce vin est un Saint-Émilion, alors c’est un Bordeaux. »
26
+- « Si ce vin est un Saint-émilion, alors c’est un Bordeaux. »
27 27
 - « Si ce cheveu appartient à l’assassin, alors l’assassin est un homme. »
28 28
 - « L’oxygène est nécessaire au feu. »
29 29
 - « Si seulement j’étais intelligent, alors je serais heureux. »
@@ -63,7 +63,7 @@ Les deux dernières rangées doivent avoir une **valeur de vérité**; la seule
63 63
 
64 64
 Ce n’est pas parce que l’antécédent est faux que la conclusion est fausse!
65 65
 
66
-## Énoncés logiquement complexes
66
+## énoncés logiquement complexes
67 67
 
68 68
 ### Interactions avec d’autres connecteurs.
69 69
 
@@ -228,7 +228,7 @@ Autre exemple :
228 228
 Deux traductions possibles :
229 229
 
230 230
 1. Si un organisme demeure en vie, alors il consomme de l’eau. \
231
-   `p ⊃ q` (BONNE RÉPONSE)
231
+   `p ⊃ q` (BONNE RéPONSE)
232 232
 2. Si un organisme consomme de l’eau, alors il demeure en vie.\
233 233
    `q ⊃ p`
234 234
 
@@ -247,7 +247,7 @@ Autre exemple :
247 247
 
248 248
 Deux traductions possibles :
249 249
 
250
-1. Si un argument est probant, alors il est valide `p ⊃ q` (BONNE RÉPONSE)
250
+1. Si un argument est probant, alors il est valide `p ⊃ q` (BONNE RéPONSE)
251 251
 2. Si un argument est valide, alors il est probant : `q ⊃ p`
252 252
 
253 253
 ---
@@ -353,10 +353,10 @@ Il faut introduire une distinction entre les deux.
353 353
 
354 354
 Les **formules bien formées (fbfs)** de LP sont les suivantes : 
355 355
 
356
-1. Toute lettre propositionnelle est une fbf; suivie d’une fbf, suivie d’une parenthèse à droite est une fbf;
357
-2. Une fbf précédée du symbole de négation est une fbf;
358
-3. Une parenthèse à gauche, suivie d’une fbf, suivie d’un connecteur binaire, suivi d’une fbf, suivi d’une parenthèse à droite est une fbf;
359
-4. Seules les formules qui sont construites à l’aide des trois règles précédentes sont des fbfs.
356
+1. Toute lettre propositionnelle est une fbf; suivie d’une fbf, suivie d’une parenthèse à droite est une fbf;
357
+2. Une fbf précédée du symbole de négation est une fbf;
358
+3. Une parenthèse à gauche, suivie d’une fbf, suivie d’un connecteur binaire, suivi d’une fbf, suivi d’une parenthèse à droite est une fbf;
359
+4. Seules les formules qui sont construites à l’aide des trois règles précédentes sont des fbfs.
360 360
 
361 361
 Exemples :
362 362
 
@@ -398,5 +398,5 @@ Les formules bien formées de LP sont les suivantes :
398 398
 1. Toute lettre propositionnelle *p*, *q*, *r*, … est une fbf;
399 399
 2. Si *A* est une fbf, alors ¬*A* est une fbf;
400 400
 3. Si *A* et *B* sont des fbfs, alors (*A* ∧ *B*), (*A* ∨ *B*), (*A* ⊃ *B*) et (*A* ≡ *B*) sont des fbfs;
401
-4. Seules les formules qui sont construites à l’aide des trois règles précédentes sont des fbfs.
401
+4. Seules les formules qui sont construites à l’aide des trois règles précédentes sont des fbfs.
402 402
 

Loading…
Cancel
Save