aboutsummaryrefslogtreecommitdiff
path: root/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
diff options
context:
space:
mode:
authorAnhgelus Morhtuuzh <william@herges.fr>2025-10-05 16:28:33 +0200
committerAnhgelus Morhtuuzh <william@herges.fr>2025-10-05 16:28:33 +0200
commit85fbaa4d9381e435be129aa7bc4ea6a472acb2b2 (patch)
treea5d0149a7e70ec1ec24edd2fc0a6c2971e94130a /semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
parent4c4b68ac62514cad87e023b877571d1952588d4e (diff)
Cours du 29 au 3 octobre
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