diff --git a/slides/03-logique/slides.md b/slides/03-logique/slides.md index 29f3c2cda2..cdd4c94d0c 100644 --- a/slides/03-logique/slides.md +++ b/slides/03-logique/slides.md @@ -361,7 +361,9 @@ layout: default --- -# Règles d'infrence +# Règles d'inférence + +
## Modus Ponens @@ -388,6 +390,7 @@ layout: default - NON(NON P) equivaut a P +
Equivalences logiques