aboutsummaryrefslogtreecommitdiff
path: root/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
diff options
context:
space:
mode:
Diffstat (limited to 'semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md')
-rw-r--r--semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
index 10a142f..bba380b 100644
--- a/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
+++ b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
@@ -23,4 +23,8 @@ Les énoncés complexes sont des compositions d'énoncés atomiques connectés a
Tout énoncé est soit vrai, soit faux.
-**Rattraper le cours d'énoncé vrai / faux à la fin du cours 2**
+**Rattraper le cours d'énoncé vrai / faux du cours 2**
+
+**On doit donner la clé de retranscription**
+|> i.e. ce qui permet de passer d'une phrase à l'énoncé logique
+|> e.g., $p$: Pierre est content, $q$: Marie est triste \ No newline at end of file