Browse Source

Corrections critique séance 03

devoir03
Louis-Olivier Brassard 3 months ago
parent
commit
b203db1726
Signed by: Louis-Olivier Brassard <louis@loupbrun.ca> GPG Key ID: 17905772515A357B
1 changed files with 16 additions and 11 deletions
  1. 16
    11
      content/notes/seance03.md

+ 16
- 11
content/notes/seance03.md View File

@@ -96,23 +96,26 @@ Arbre de décomposition :
96 96
  p   q
97 97
 ```
98 98
 
99
+---
100
+
99 101
 Autre exemple :
100 102
 
101 103
 > Bien que l’oisiveté soit mères de tous les vices et que la luxure ne puisse naître de l’oisiveté, la luxure demeure un vice.
102 104
 
103 105
 Traductions possibles :
104 106
 
105
-- ```
106
-  (p ∧ ¬q) ⊃ r
107
-  ```
108
-
109
-- ```
110
-  (p ∧ ¬q) ∧ r
111
-  ```
112
-
113
-- ```
114
-  p ∧ (¬q ∧ r)
115
-  ```
107
+1. 
108
+```
109
+(p ∧ ¬q) ⊃ r
110
+```
111
+2. 
112
+```
113
+(p ∧ ¬q) ∧ r
114
+```
115
+3. 
116
+```
117
+p ∧ (¬q ∧ r)
118
+```
116 119
 
117 120
 La 2e traduction est la plus grammaticalement correcte :
118 121
 
@@ -122,6 +125,8 @@ La 2e traduction est la plus grammaticalement correcte :
122 125
 
123 126
 ---
124 127
 
128
+Autre exemple :
129
+
125 130
 >  Fisher a gagné le match, à moins que Spassky joue sa reine à G6.
126 131
 
127 132
 - *p* : Fisher gagne le match

Loading…
Cancel
Save